Comment Comment by jbapple Where can I read more about the decision to develop Lean 4 in private, and what is the status of https://github.com/leanprover/lean4, in your view? parent jbapple 7 years ago
