1Revisiting an early critique of formal verification (opens in new tab)lawrencecpaulson.github.io2scscsc1y ago0