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:2 months ago
Tokens:
Raw