Verification for Dummies: SMT and Inductiondiscuss.ocaml.org3 points·mseri··0 commentsOpen articleSaveView on HN