Formality, a language combining formal proofs and optimal reductionsreddit.com3 points·icc97··0 commentsOpen articleSaveView on HN