gmalecha/coq-mod-reduce
Modular reduction specifications for cbv
Public GitHub Catalog
Discovered Oct 3, 2026
gmalecha / coq-universes
Public repository discovered through GitHub real-time crawl.
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.
#26145236GitHub System ID
gmalechaOrganization / User
PublicVisibility
ActiveCatalog Status
More from gmalecha
gmalecha/loop-to-sat
Solve instances of the loop game by converting them to SAT formulas.
gmalecha/coq-temporal
An implementation of temporal logic in Coq using Charge!
gmalecha/mtac-plugin
Plugin for Coq 8.5