AutoRocq: Agentic Theorem Prover for Verification

(github.com)

2 points | by matt_d 14 hours ago ago