mmalvarez/fun_with_canonicals
Public repository.
Public GitHub Catalog
Discovered Oct 5, 2026
mmalvarez / nonlinear
My implementation of Z3's nonlinear real arithmetic solver, in Coq
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#30048190GitHub System ID
mmalvarezOrganization / User
PublicVisibility
ActiveCatalog Status
More from mmalvarez
mmalvarez/hello_tactics
Simple examples of OCaml tactic modules for Coq that use Unix facilities
mmalvarez/mmalvarez.github.io-new2
My Website!
mmalvarez/mmalvarez.github.io-OLD
My GitHub Pages