Revisiting an early critique of formal verification #1 Post by scscsc » Mon, Mar 17, 2025, 7:08 AM UTC Revisiting an early critique of formal verificationlawrencecpaulson.github.io