CertiGraph
Results
1
repositories owned by
CertiGraph
CertiGraph
16
Stars
5
Forks
Watchers
A library for verifying graph-manipulating programs. Powered by Coq and VST. Compatible with CompCert.
