mmalvarez/academic-site
My Academic Website
Public GitHub Catalog
Discovered Sep 28, 2026
mmalvarez / mirror-shard
Reflective verification procedures for separation logic programs 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.
#13551826GitHub System ID
mmalvarezOrganization / User
PublicVisibility
ActiveCatalog Status
More from mmalvarez
mmalvarez/nonlinear
My implementation of Z3's nonlinear real arithmetic solver, in Coq
mmalvarez/fun_with_canonicals
Public repository.
mmalvarez/hello_tactics
Simple examples of OCaml tactic modules for Coq that use Unix facilities