Revisiting an early critique of formal verification

By Lawrence C. Paulson Linked 2025-04-19 00:53:46

made by jutty with Zola • source code • privacy • acknowledgments
built 2026-05-14 19:39 UTC, 1778787559 non-leap seconds since the Unix Epoch