Programming Environments Based on Structured Editors: The MENTOR Experience, (1998)
Donzeau-Gouge,Veronique, Huet,Gerard, Kahn,Gilles, Lang,Bernard
This note discusses the MENTOR program manipulation system, from the following points of view: the main design decisions made in MENTOR; the authors' experience with building and using a PASCAL...
A Uniform Approach to Type Theory. (1998)
The author presents in a unified framework the basic syntactic structures used to model deductive and computational notions. The guiding principle is propositions as types. These course notes have...
The Coq Proof Assistant, Reference Manual, Version 5.10 (1995)
Cornes, Cristina, Courant, Judicaël, Filliatre, Jean-Christophe, Huet, Gerard, Manoury, Pascal, Munoz, César, ...
The Coq Proof Assistant, Reference Manual, Version 5.10 (1995)
Cornes, Cristina, Courant, Judicaël, Filliâtre, Jean-Christophe, Huet, Gerard, Manoury, Pascal, Munoz, César, ...
Résumé disponible dans les fichiers attachés
The Coq Proof Assistant, Reference Manual, Version 5.10 (1995)
Cornes, Cristina, Courant, Judicaël, Filliâtre, Jean-Christophe, Huet, Gerard, Manoury, Pascal, Munoz, César, ...
Résumé disponible dans les fichiers attachés
The Coq proof assistant user's guide : version 5.8 (1993)
Dowek, Gilles, Felty, Amy, Herbelin, H., Huet, Gerard, Parent, Catherine, Paulin-Mohring, Christine, ...
pas de résumé
The Coq proof assistant user's guide : version 5.8 (1993)
Dowek, Gilles, Felty, Amy, Herbelin, H., Huet, Gerard, Parent, Catherine, Paulin-Mohring, Christine, ...
pas de résumé
The Coq proof assistant user's guide : version 5.6 (1991)
Dowek, Gilles, Felty, Amy, Herbelin, H., Huet, Gerard, Werner, Benjamin, Paulin-Mohring, Christine
pas de resume
The Coq proof assistant user's guide : version 5.6 (1991)
Dowek, Gilles, Felty, Amy, Herbelin, H., Huet, Gerard, Werner, Benjamin, Paulin-Mohring, Christine
pas de resume
Programming environments based on structured editors : the Mentor experience (1980)
Donzeau-Gouge, Véronique, Huet, Gerard, Lang, Bernard, Kahn, Gilles
Résumé disponible dans les fichiers attachés
Programming environments based on structured editors : the Mentor experience (1980)
Donzeau-Gouge, Véronique, Huet, Gerard, Lang, Bernard, Kahn, Gilles
Résumé disponible dans les fichiers attachés
This website provides access to a hypertext Sanskrit dictionary with definitions in French. The site also has a Sanskrit reader and a few other Sanskrit related links.