waterfall: Induction Proofs in Lean

(samth.github.io) by matt_d | Sep 16, 2026 | 0 comments on HN