Damien Doligez

This web page is obsolete. A new version is coming soon.


Author of the Zenon automatic theorem prover.

Topics:


email: damien.doligez-inria.fr

Damien Doligez
INRIA, projet Gallium, bat 14
Domaine de Voluceau
B.P. 105
F-78153 Le Chesnay
France


fight spam - Best Viewed With Any Browser - Valid HTML 4.0!