Mentions légales du service
Attempt to gather different parts of a cylindrical decomposition algorithm as Coq-verified algorithms
An AVL calculator
DEPRECATED, TRANSFERED TO GITHUB : https://github.com/CatalaLang/catala
The causality monad, to describe concurrent computations.
An implementation of a causal and interactive model for a concurrent MiniOCaml
This repository contains the course notes of Gérard Huet
"Constructive Computation Theory" on lambda calculus.
Separation Logic with Characteristic Formulae Entirely within Coq
OCaml ppx syntax extension for quoting C/C++ code in OCaml programs