szabgab/lean-by-example - Gitstar Ranking

Gitstar Ranking

Users
Organizations
Repositories
Rankings

Sign in with GitHub

szabgab

Fetched on 2026/08/16 02:34

szabgab / lean-by-example

コード例で学ぶ Lean 言語 - View it on GitHub

https://lean-ja.github.io/lean-by-example/

Star

0

Rank

14408395

Released by @k0kubun in December 2014. Fork me on GitHub.