Quint vs RoCQ
Side-by-side comparison of two Ai projects on AiList.
Tagline
Wraps the Quint formal specification language CLI for type-checking, simulation, testing, exhaustive model checking via Apalache, and documentation lookup.
Integrates the Coq proof assistant with natural language inputs to enable automated dependent type checking, inductive type definition, and property proving for formal verification and theorem proving tasks.
GitHub Stars
2
9
Stars This Week
—
—
Language
—
—
License
—
—
Built With
—
—
Views
95
100
Clicks
10
7