newest
Open in hackernews
The pragmatic magic of semi-formal methods
https://antithesis.com/blog/2025/semi_formal_proofs/
2
•
wwilson
•
7h ago