This is the Pareo web site

Hot topics

[2014-09-12] Jean-Christophe Bach's PhD defense
[2013-03-21] Tom 2.10 has been released
[2011-10-14] Tom-2.9 has been released

Team

Software

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.

Projects

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

The Pareo team was a member of the INRIA ARC Corias about the conception of proof assistants based on superdeduction modulo.

Sponsors

http://www.cnrs.fr/ http://www.inria.fr/ http://www.univ-lorraine.fr http://www.loria.fr

pareo.txt · Last modified: 2014/09/17 16:48 by slenglet
Back to top
chimeric.de = 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