An AI coding agent that generates machine-checkable proofs to improve code correctness and reliability for developers in high-stakes domains
6 upvotes
Visit Show HN →
On mobile tap Share for WeChat / RED (Xiaohongshu) / X; on desktop use Copy text and paste into the app.