Notice: this page is still to be completed!
In and About Logical Frameworks and Type Theories
- The (Complete) Ordered Families of Equivalences.
- The Erlang-Coq Synthesizer Tool (ECS).
- (Obsolete) The implementation of Dynamic Logic in Coq.
- The implementation of old Facebook Connect protocol in Avispa
- The Pi calculus Non Interference checker (PicNIc).