Hacker News new | ask | show | jobs
by throwaway81523 781 days ago
Why has Lean taken over the formalization world? Previously some big proofs were done in Coq, HOL, etc.