▲ 2 pointsThe Lean Theorem Prover: Design, Evolution, and Impactleodemoura.github.ioby tosh·20d ago·0 comments·view on hn ↗