"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)

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

2
1
Comments 1