nicolasmarti/why3theories
why3 projects: combinatorial and sequential logic elements (from nand2tetris), some redefined theories (set, map), seplog theories
Public GitHub Catalog
Discovered Oct 6, 2026
nicolasmarti / holzero-lib
a little lib for holzero
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.
#32456637GitHub System ID
nicolasmartiOrganization / User
PublicVisibility
ActiveCatalog Status
More from nicolasmarti
nicolasmarti/hol-in-coq
Simple shallow embedding of a HOL logic, LCF style in coq
nicolasmarti/gc
A non-copying garbage collector (from ICFP2011)
nicolasmarti/opam-updates
personal version of some opam packages