GitLab upgrade completed. Current version is 17.11.1. We now benefit from the features of the release 17.11.
Why3
Why3 is a software verification platform, featuring a versatile ML-style language and interfaces to various powerful automated and interactive theorem provers.
