Pinned Repositories
bct
WIP: work in progress
fp-lean-ja
Functional Programming in Lean の日本語訳. 演習問題への解答を含みます
lean-by-example
コード例で学ぶ Lean 言語
lean-by-example-legacy
Lean の基本的な構文や機能を紹介するためのサンプルコード集です．（執筆中止）
lean-problems
Lean の演習問題集
lean-sublime-syntax
sublime syntax file of lean4 (for syntax highlight of lean4 code in websites built by Zola)
lean99
These are Lean translations of Ninety-Nine Haskell Problems (WIP)
math-in-type-theory-ja
Xena の記事「Mathematics in type theory」の非公式日本語訳です．
mathematics_in_lean_source
「Mathematics in Lean tutorial」の和訳.
reference-manual-ja
「The Lean Language Reference」の日本語訳（作業中）
lean-ja's Repositories
lean-ja/lean-by-example
コード例で学ぶ Lean 言語
lean-ja/lean99
These are Lean translations of Ninety-Nine Haskell Problems (WIP)
lean-ja/fp-lean-ja
Functional Programming in Lean の日本語訳. 演習問題への解答を含みます
lean-ja/lean-by-example-legacy
Lean の基本的な構文や機能を紹介するためのサンプルコード集です．（執筆中止）
lean-ja/mathematics_in_lean_source
「Mathematics in Lean tutorial」の和訳.
lean-ja/bct
WIP: work in progress
lean-ja/math-in-type-theory-ja
Xena の記事「Mathematics in type theory」の非公式日本語訳です．
lean-ja/tactic-cheetsheet
リダイレクト用のリポジトリ
lean-ja/lean-sublime-syntax
sublime syntax file of lean4 (for syntax highlight of lean4 code in websites built by Zola)
lean-ja/reference-manual-ja
「The Lean Language Reference」の日本語訳（作業中）
lean-ja/lean-problems
Lean の演習問題集
lean-ja/lean4-metaprogramming-book-ja
Metaprogramming in Lean 4の日本語訳
lean-ja/type_checking_in_lean4_ja
Type Checking in Lean 4の日本語訳
lean-ja/.github
lean-ja/discussion
lean-ja/lean-ja.github.io
lean-ja の団体トップページ
lean-ja/tactic-cheatsheet
リダイレクト用のリポジトリ
lean-ja/xena-ja
xena のいくつかの記事の非公式日本語訳を集めたものです（注意：現在は Zenn に移管されました）
lean-ja/zenn.dev
Zennと連携するためのリポジトリ