▲ 3 pointsAutoProver: AI agents and formal methods for intent, specs, bugs analysisapp.certora.comby wslh·3d ago·0 comments·view on hn ↗