3 ms·Proofs Promptly: Proof-Oriented Programming with AI Agents (Experience Report)2 points by matt_d 2mo ago