gitlab.inria.fr / why3 1 Dépôt
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.
dernière synchronisation: il y a environ un an - étoiles: 8 - forks: 10
why3/parcoursup
Preuve sur les algos de Parcoursup
dernière synchronisation: il y a environ un an - étoiles: 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.
dernière synchronisation: il y a environ un an - étoiles: 0 - forks: 0