Home
Contact
Members
Projects
Software
Publications
Wiki
Agenda
Interns
Software
The Why platform
(includes
Caduceus
and
Krakatoa
)
Alt-Ergo
CiME
Reactive ML
Lucid Synchrone
bibtex2html
Ocamlgraph
Frama-C
Gappa
Libraries
Coccinelle
: a Coq library for term rewriting systems
A Coq library for reasoning on randomized algorithms
FP2: A Coq Library on Floating-Point Arithmetic