Hacker News new | ask | show | jobs
Lean Theorem Prover (leanprover.github.io)
2 points by hamdal 3776 days ago