vortex-ai/lean-ja--lean-by-examplepublic

コード例で学ぶ Lean 言語

Lean Updated 3 days ago 1 commits 193 stars
vortex-ai|Mirror: lean-ja/lean-by-example (⭐193)
3 days ago

About

コード例で学ぶ Lean 言語

Readme
193 stars
17 forks