Mentions légales du service
Mirror for CI/CD purposes only.
GitLab mirror of https://github.com/math-comp/math-comp
Why3 is a software verification platform, featuring a versatile ML-style language and interfaces to various powerful automated and interactive theorem provers.
Ocsigen based web-server for interaction with Arborator
ProVerif symbolic protocol verifier
Primary library for necro with standard tools (parse, type check, print, and transform Skeletal Semantics)
Sources of the Abstract Categorial Development toolkit.
Coccinelle is a program matching and transformation engine which provides the language SmPL (Semantic Patch Language) for specifying desired matches and transformations in C code.
Main tool with dep2pict executable
Resources for course MPRI 2-4 on functional programming and type systems.
Verifiable online voting system
Abstract Requirement Extraction for Systems