A library for verifying graph-manipulating programs. Powered by Coq and VST. Compatible with CompCert.
created at June 28, 2020, 9:17 a.m.
10 +0
16 +0
5 +0