(Version Française) Software
- The PhoX proof assistant, version 0.8 (2005)
- Bindlib 3.0, a package for abstract syntax with binder (2006)
- GlSurf, version 2.1 (2003) (here are some results about random polynomials obtained with GlSurf)
- Callbacks-0.1: a camlp4 extension to generate C wrappers for OCaml functions (2005)
- A small OCaml library to change the rounding for floatting point arithmetic (2003)
- A library for formal and numerical calculus in OCaml (2000)
- A normalizer for pure and typed lambda-calculus (1995)
- Logic Algorithms (1995)
Last update: Tuesday 28 June 2011