Revisiting an early critique of formal verificationlawrencecpaulson.github.io2 points·scscsc··0 commentsOpen articleSaveView on HN