leanprover

Lean 4プログラミング言語および定理証明器

Lean コンピューターサイエンスライブラリ (CSLib)

Leanのバージョンマネージャー。