Projet CROAP

Design and Implementation of Programming Tools

Version française

The people

Internships 1999 with CROAP

Conferences :
The 12th International Conference
on Theorem Proving in Higher Order Logics
on September 14-17 1999.
The Types summer school, August 30 - September 10, 1999.

Some publications

Research and activity reports

Croap Publications

The systems :

The Centaur system

The centaur news-group ( Local)

The FTP server of CROAP

The Ctcoq system

The CHol system

The CtCaml system

The Sophtalk system

INRIA home page