Formal Verification Gates for AI Coding Loops(reubenbrooks.dev)115 points by pyrex41 5 months ago | 27 comments