nicolasmarti/holzero-lib
a little lib for holzero
Public GitHub Catalog
Discovered Sep 25, 2026
nicolasmarti / vdm2why
attempt to build a tool for vdm using why3 as a backend for proof obligation
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.
#5459308GitHub System ID
nicolasmartiOrganization / User
PublicVisibility
ActiveCatalog Status
More from nicolasmarti
nicolasmarti/why3theories
why3 projects: combinatorial and sequential logic elements (from nand2tetris), some redefined theories (set, map), seplog theories
nicolasmarti/hol-in-coq
Simple shallow embedding of a HOL logic, LCF style in coq
nicolasmarti/gc
A non-copying garbage collector (from ICFP2011)