Projects in Awesome Lists by lean-ja
A curated list of projects in awesome lists by lean-ja .
https://github.com/lean-ja/lean-by-example
コード例で学ぶ Lean 言語
functional-programming lean lean4 mdbook reference theorem-proving
Last synced: 01 Jul 2026
https://github.com/lean-ja/lean-sublime-syntax
sublime syntax file of lean4 (for syntax highlight of lean4 code in websites built by Zola)
lean lean4 syntax-highlighting zola
Last synced: 01 Jul 2026
https://github.com/lean-ja/math-in-type-theory-ja
Xena の記事「Mathematics in type theory」の非公式日本語訳です．
japanese-translations lean lean4 mdbook
Last synced: 01 Jul 2026