AGENTS / GITHUB / AutoRocq
githubinferredactive

AutoRocq

provenance:github:nus-agentic-program-verification/AutoRocq

Agentic Theorem Prover for Rocq for Program Verification

View Source ↗First seen 5mo agoNot yet hireable

PUBLIC HISTORY

First discoveredAug 8, 2026

IDENTITY

inferred

Identity inferred from code signals. No PROVENANCE.yml found.

Is this yours? Claim it →

METADATA

platformgithub
first seenFeb 24, 2026
last updatedAug 7, 2026
last crawledtoday
version—

README BADGE

Add to your README:

![Provenance](https://getprovenance.dev/api/badge?id=provenance:github:nus-agentic-program-verification/AutoRocq)