waterfall: Induction Proofs in Leansamth.github.io1 point·matt_d··0 commentsOpen articleSaveView on HN