▲ 2 pointsAutoRocq: Agentic Theorem Prover for Verificationgithub.comby matt_d·4mo ago·0 comments·view on hn ↗