Docker image for the why3 system with some preinstalled provers
Primary LanguageShell
No issues in this repository yet.