Comment Comment by officerk A related post on the topic: https://martin.kleppmann.com/2025/12/08/ai-formal-verificati... parent officerk 11 months ago
