Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
AutoRocq: Agentic Theorem Prover for Verification
github.com/NUS-Program-Verification
2 points
matt_d
2 months ago
No comment yet
AutoRocq: Agentic Theorem Prover for Verification | Heykuki News