This is an old revision of the document!

This is the Pareo web site

Hot topics

* 2012-10: Tom-2.10 release on the rails!

* Tom-2.9 has been released



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.

The Pareo team is a member of the FNRAE project Quarteft about the certification of model transformations.


pareo.1355999882.txt.gz · Last modified: 2012/12/20 11:38 by slenglet
Back to top = chi`s home Creative Commons License Valid CSS Driven by DokuWiki do yourself a favour and use a real browser - get firefox!! Recent changes RSS feed Valid XHTML 1.0