The Lean Theorem Prover
ster
•
Now
•
100%
Lean 4 Documentation (Unfinished)
https://leanprover.github.io/lean4/doc/Here is the Lean 4 documentation, it's still under development
Comments 1
Here is the Lean 4 documentation, it's still under development