Open in Damus
ynniv
1766003558
people agree:
https://martin.kleppmann.com/2025/12/08/ai-formal-verification.html
