Search Docker Hub
Community User
Seattle, WA
https://applied.fm
Displaying 1 to 2 of 2 repositories
A library for verifying graph-manipulating programs. Powered by Coq, VST, and CompCert.
4y
1.2K
Docker images of the Coq proof assistant, with compcert and VST pre-installed.
1.4K