Comment on The Fermat's Last Theorem ProjectComments−throwaway815232yWhy has Lean taken over the formalization world? Previously some big proofs were done in Coq, HOL, etc.
Comments
Why has Lean taken over the formalization world? Previously some big proofs were done in Coq, HOL, etc.