gitlab.inria.fr / why3 1 Repository
Why3 is a software verification platform, featuring a versatile ML-style language and interfaces to various powerful automated and interactive theorem provers.
why3/why3
Why3 is a software verification platform, featuring a versatile ML-style language and interfaces to various powerful automated and interactive theorem provers.
Last synced at: 7 months ago - Stars: 8 - Forks: 10
why3/parcoursup
Preuve sur les algos de Parcoursup
Last synced at: 7 months ago - Stars: 0 - Forks: 0
why3/whymp
WhyMP is an arbitrary-precision integer library for C that is inspired by GMP, implemented in WhyML, and formally verified using Why3.
Last synced at: 7 months ago - Stars: 0 - Forks: 0