NUS-Program-Verification repositories

3 repositories

AutoRocq
Public
Agentic Theorem Prover for Rocq for Program Verification
theorem-proving verification llm-agent
theorem-proving verification llm-agent rocq-prover
Python
•
Other
•6•29•2•6•Updated Sep 8, 2026Sep 8, 2026
AutoRocq-bench
Public
Theorem proving benchmark for program verification in Rocq
Rocq Prover
•2•5•0•0•Updated Sep 8, 2026Sep 8, 2026
LemmaNet
Public
Agentic Lemma Discovery for Program Verification in Rocq
coq theorem-proving verification
coq theorem-proving verification lemma frama-c llm-agents rocq-prover
Python
•
Other
•2•8•0•4•Updated Aug 21, 2026Aug 21, 2026

ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.