On the (Alleged) Value of Proof for Assurancelambda-the-ultimate.org4 points·jules··0 commentsOpen articleSaveView on HN