Comment by prezjordan
6 years ago
Very cool! Didn't know about Lean (but I have some experience with Coq). Can't wait to dig in more. https://leanprover.github.io/about/
6 years ago
Very cool! Didn't know about Lean (but I have some experience with Coq). Can't wait to dig in more. https://leanprover.github.io/about/
Note that https://leanprover.github.io is all about the frozen version of Lean 3, while the devs are working on Lean 4. In the mean time, the community is maintaining a fork of Lean 3 with some nice features + lots of docs and other material. See https://leanprover-community.github.io/