Pinned Repositories
aconite-ac.github.io
Leanの日本語情報(非公式)を掲載します。
how_to_install_lean
Leanのインストール方法・elanとLakeの使い方
lean-math-workshop-fork
math-in-type-theory-ja
Xena の記事「Mathematics in type theory」の非公式日本語訳です
theorem_proving_in_lean4
Theorem Proving in Lean 4 日本語訳
.github
fp-lean-ja
Functional Programming in Lean の日本語訳. 演習問題への解答を含みます（作業中 🚧）
lean-by-example
コード例で学ぶ Lean 言語
lean-ja.github.io
lean-ja の団体トップページ
math-in-type-theory-ja
Xena の記事「Mathematics in type theory」の非公式日本語訳です．
aconite-ac's Repositories
aconite-ac/theorem_proving_in_lean4
Theorem Proving in Lean 4 日本語訳
aconite-ac/how_to_install_lean
Leanのインストール方法・elanとLakeの使い方
aconite-ac/aconite-ac.github.io
Leanの日本語情報(非公式)を掲載します。
aconite-ac/lean-math-workshop-fork
aconite-ac/math-in-type-theory-ja
Xena の記事「Mathematics in type theory」の非公式日本語訳です