AutoRocq: Agentic Theorem Prover for Verification

(github.com)

2 points | by matt_d 15 hours ago ago

No comments yet.