Gitstar Ranking
  • Users
  • Organizations
  • Repositories
  • Rankings
    • Users
    • Organizations
    • Repositories
  • Sign in with GitHub

agl

Fetched on 2025/03/15 17:07

agl / theorem_proving_in_lean4

Theorem Proving in Lean 4 - View it on GitHub
https://leanprover.github.io/theorem_proving_in_lean4/
Star
0
Rank
12479915

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