lean-ja / lean-by-exampleView on GitHub
コード例で学ぶ Lean 言語
149Feb 17, 2026Updated last week

Alternatives and similar repositories for lean-by-example

Users that are interested in lean-by-example are comparing it to the libraries listed below

Sorting:

Are these results useful?