waterfall: Induction Proofs in Lean

1 pointsposted 12 hours ago
by matt_d
(samth.github.io)

No comments yet