Lean 4 Documentation (Unfinished)
Lean 4 Documentation (Unfinished)
leanprover.github.io
Redirecting to lean-lang.org
Here is the Lean 4 documentation, it's still under development
0 comments
Lean 4 Documentation (Unfinished)
Redirecting to lean-lang.org
Here is the Lean 4 documentation, it's still under development