This is an old revision of the document!
Tom: Rule based programming, term rewriting, pattern matching, strategic programming, efficient data-structures. All those beautiful things into Java.
Lemuridae: A proof assistant for superdeduction
The Pareo team is a member of the INRIA ARC Corias about the conception of proof assistants based on superdeduction modulo.