Sidebar

The Lean Theorem Prover

"Initials" by "Florian Körner", licensed under "CC0 1.0". / Remix of the original. - Created with dicebear.comInitialsFlorian Körnerhttps://github.com/dicebear/dicebearLE
The Lean Theorem Prover ster • 3 years ago • 100%
Lean 4 Documentation (Unfinished) https://leanprover.github.io/lean4/doc/

Here is the Lean 4 documentation, it's still under development

2
1