gmalecha/coq-smt-check
Invoke SMT solvers from Coq to check obligations
Public GitHub Catalog
Discovered Nov 3, 2026
gmalecha / coq-simulink
Simulink-like formalism in Coq
About this discovery
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
#51102434GitHub System ID
gmalechaOrganization / User
PublicVisibility
ActiveCatalog Status
More from gmalecha
gmalecha/rouge
A pure-ruby code highlighter that is compatible with pygments http://rouge.jneen.net/
gmalecha/HL-Compiler
Public repository.
gmalecha/coq-mod-reduce
Modular reduction specifications for cbv