Try LiveAdd Docs
RankingsPlansDocumentationInstall

Lean 4

https://github.com/leanprover/lean4

Lean 4 programming language and theorem prover

Tokens:92,419
Snippets:536
Trust Score:7.8
Update:4 months ago
Tokens:
Raw
Lean 4 (leanprover/lean4) | Context7