.:. Browse > By authors > Barras .:.

2 documents ordered by : Date Title first author name document type Submit date

The Coq Proof Assistant Reference Manual : Version 6.1 Barras B., Boutin S., Cornes C., Courant J., Filliâtre J.-C., Giménez E., Herbelin H., Huet G., Muñoz C., Murthy C. et al N° RT-0203 (1997) [inria-00069968 - version 1]

Coq en Coq Barras B. N° RR-3026 (1996) [inria-00073667 - version 1]