Pinned Loading

1. vstyle vstyle Public

   A style guide for Coq

   18

2. vstyle-tools vstyle-tools Public

   A formatter/linter for Coq source

   OCaml 14

3. growth-data growth-data Public

   Measuring the growth of open source formal methods

   Python 4

4. docker-coq-vst docker-coq-vst Public

   Docker images of the Coq proof assistant with compcert and VST pre-installed

   Shell 4

5. coq-vsu coq-vsu Public

   Tools for working with Verified Software Units

   OCaml 1

6. coq-vsu-int63 coq-vsu-int63 Public

   Formally verified 63-bit integer arithmetic, implemented in C and proven in Coq

   Coq 2