4 ms·
Lean 4 WIP is public now: https://github.com/leanprover/lean4 https://github.com/leanprover/lean4. But PRs aren't welcome. Personally I think Coq's done waaay b
by logicchains 7y ago
Lean 4 WIP is public now: https://github.com/leanprover/lean4 https://github.com/leanprover/lean4. But PRs aren't welcome. Personally I think Coq's done waaay better at community management.