How to integrate formal proofs into software developmentamazon.science3 points·georgecarlyle76··0 commentsOpen articleSaveView on HN