RAFFALLI CHRISTOPHE

Logiciels

  1. l'assistant de preuves PhoX, version 0.8 (2005)
  2. Bindlib 3.0, a package for abstract syntax with binder (2006)
  3. GlSurf, version 2.1 (2003)
  4. A small OCaml library to change the rounding for floatting point arithmetic (2003)
  5. A library for formal and numerical calculus in OCaml (2000)
  6. A normalizer for pure and typed lambda-calculus (1995)
  7. Logic Algorithms (1995)


Dernière modification : Tuesday 3 October 2006