Verification was never just about certification
What to check before trusting “verified in Lean”, why it adds little to AI-generated proofs, and what formal code is actually good for.
- formal proof verification
- AI-generated proofs
Appendix
Random thoughts not fit for publication.