AutoRocq: Agentic Theorem Prover for Verification
Posted 18 hours ago by
matt_d
2
points
https://github.com/NUS-Program-Verification/AutoRocq
0
comments