c/leanprover · by ster@lemmy.ml · 5yLean 4 Documentation (Unfinished) https://leanprover.github.io/lean4/doc/Here is the Lean 4 documentation, it's still under development 1 points · 0 comments · view on lemmy.world
0 Comments
No comments yet.