Martin Constantino–Bodin's repositories
murder-generator
A program to randomly generate (basic) murder parties
coq-alternative-facts
Coq for politicians
coq-puzzles
A collection of puzzles formalised in Coq
blocklib
A basic interface library
CompCert
The CompCert formally-verified C compiler
coq-paco
A Coq library for parametric coinduction
coq-prelude
General-purpose monad typeclass hierarchy for Coq
Coqtail
Interactive Coq Proofs in Vim
dijkstra-monads-for-all
A fork of https://gitlab.inria.fr/kmaillar/dijkstra-monads-for-all
dimancxprogramado
Etaj programaĵoj kiuj ni faras dimanĉe ☺
InteractionTrees
A Library for Representing Recursive and Impure Programs in Coq
jscoq
A port of Coq to Javascript -- Run Coq in your Browser
kwrenamefilter
A pygments filter to transform keywords
Mbodin.github.io
Website
nosgestesclimat
Estimez votre empreinte climat - le modèle de calcul
parseque
Total Parser Combinators in Coq
strong-induction
Induction principles over natural numbers
tlc
Library for Classical Coq
tyxml
Build valid HTML and SVG documents