Experience with semi-formal proofs [video]youtube.com3 points·wwilson··0 commentsOpen articleSaveView on HN