Popular repositories Loading

1. CertiGraph CertiGraph Public

   A library for verifying graph-manipulating programs. Powered by Coq and VST. Compatible with CompCert.

   Coq 18 6

2. CertiGC CertiGC Public

   A formally verified generational garbage collector.

   Coq 8