sleanprover·The Lean Theorem Proverbyster Lean 4 Documentation (Unfinished)Here is the Lean 4 documentation, it's still under developmenthttps://leanprover.github.io/lean4/doc/Open linkView original on lemmy.ml1Comments
