Explore projects
-
-
-
MONTAGU Benoit / zdd
OtherAn OCaml library implementing ZDDs (Zero-suppressed Binary Decision Diagrams), upward-closed set families, and downward-closed set families
Updated -
tansiv / xen
OtherUpdated -
Updated
-
LENGRAND Stephane / why3
GNU Lesser General Public License v2.1 onlyWhy3 is a software verification platform, featuring a versatile ML-style language and interfaces to various powerful automated and interactive theorem provers.
Updated -
Jean-Christophe Filliâtre / why3
GNU Lesser General Public License v2.1 onlyWhy3 is a software verification platform, featuring a versatile ML-style language and interfaces to various powerful automated and interactive theorem provers.
Updated -
Armaël Guéneau / why3
GNU Lesser General Public License v2.1 onlyWhy3 is a software verification platform, featuring a versatile ML-style language and interfaces to various powerful automated and interactive theorem provers.
Updated -
PARREIRA PEREIRA Mário José / why3
GNU Lesser General Public License v2.1 onlyWhy3 is a software verification platform, featuring a versatile ML-style language and interfaces to various powerful automated and interactive theorem provers.
Updated -
Matteo Manighetti / why3
GNU Lesser General Public License v2.1 onlyWhy3 is a software verification platform, featuring a versatile ML-style language and interfaces to various powerful automated and interactive theorem provers.
Updated -
Why3 / why3
GNU Lesser General Public License v2.1 onlyWhy3 is a software verification platform, featuring a versatile ML-style language and interfaces to various powerful automated and interactive theorem provers.
Updated -
XIA Li-Yao / why3
GNU Lesser General Public License v2.1 onlyWhy3 is a software verification platform, featuring a versatile ML-style language and interfaces to various powerful automated and interactive theorem provers.
Updated -
Clément Pascutto / why3
GNU Lesser General Public License v2.1 onlyWhy3 is a software verification platform, featuring a versatile ML-style language and interfaces to various powerful automated and interactive theorem provers.
Updated -
BAUDIN Lucas / why3
GNU Lesser General Public License v2.1 onlyWhy3 is a software verification platform, featuring a versatile ML-style language and interfaces to various powerful automated and interactive theorem provers.
Updated -
Benedikt Becker / why3
GNU Lesser General Public License v2.1 onlyWhy3 is a software verification platform, featuring a versatile ML-style language and interfaces to various powerful automated and interactive theorem provers.
Updated -
MONTAGU Benoit / while_lang
GNU General Public License v3.0 or laterUpdated -
Formal operational semantic of WEBI language written in coq. Purpose of this project is to give a behavioural description of WEBI in COQ, using Small Step and Skeletal Semantics
Updated -
Updated
-
-
vvfe / vvfe
GNU Affero General Public License v3.0Updated