Re:Natural number game
by prezjordan on Wednesday April 08, 2020 @10:30AM
(#22813247)
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/
[ Parent
| on HN ]
Re:Natural number game
by leanuser57 on Wednesday April 08, 2020 @10:37AM
(#22813305)
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/