@sterM to The Lean Theorem Prover • 3 years agoLean 4 Documentation (Unfinished)leanprover.github.iomessage-square1arrow-up12arrow-down10file-text
arrow-up12arrow-down1external-linkLean 4 Documentation (Unfinished)leanprover.github.io@sterM to The Lean Theorem Prover • 3 years agomessage-square1file-text
minus-square@sterOPMlink1•2 years agoLol I was wondering who tf made a community about the Lean theorem prover 1 year ago…
Lol I was wondering who tf made a community about the Lean theorem prover 1 year ago…