AutoRocq: Agentic Theorem Prover for Verification

 (github.com)

2 points | by matt_d 2 hours ago

0 comments