mmalvarez/nonlinear
My implementation of Z3's nonlinear real arithmetic solver, in Coq
Public GitHub Catalog
Discovered Oct 3, 2026
mmalvarez / hello_tactics
Simple examples of OCaml tactic modules for Coq that use Unix facilities
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.
#26782392GitHub System ID
mmalvarezOrganization / User
PublicVisibility
ActiveCatalog Status
More from mmalvarez
mmalvarez/fun_with_canonicals
Public repository.
mmalvarez/mmalvarez.github.io-new2
My Website!
mmalvarez/mmalvarez.github.io-OLD
My GitHub Pages