Geeks
CertiGraph
/
CertiGC
A formally verified generational garbage collector.
Primary Language
Coq
Other
NOASSERTION
CertiGC GitHub
Markdown
Readme
0
Issues
7
Stargazers
4
Watchers
Stargazers
Gary-oak-Star
intoverflow
Seattle, WA
luc-tielen
Lambda Tech
ndcroos
nikitavoloboev
Tbilisi
philzook58
Draper