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