The Coq proof assistant reference manual: Version 6.1 - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Barras, Bruno, Boutin, Samuel, Cornes, Cristina, Courant, Judica{\"e}l, Filliatre, Jean-Christophe, Gimenez, Eduardo, Herbelin, Hugo, Huet, Gerard, Munoz, Cesar, Murthy, Chetan, others. The Coq proof assistant reference manual: Version 6.1. PhD thesis, Inria, 1997.

This author has not been identified. Look up 'Barras, Bruno' in GoogleThis author has not been identified. Look up 'Boutin, Samuel' in GoogleThis author has not been identified. Look up 'Cornes, Cristina' in GoogleThis author has not been identified. Look up 'Courant, Judica{\"e}l' in GoogleThis author has not been identified. Look up 'Filliatre, Jean-Christophe' in GoogleThis author has not been identified. Look up 'Gimenez, Eduardo' in GoogleThis author has not been identified. Look up 'Herbelin, Hugo' in GoogleThis author has not been identified. Look up 'Huet, Gerard' in GoogleThis author has not been identified. Look up 'Munoz, Cesar' in GoogleThis author has not been identified. Look up 'Murthy, Chetan' in GoogleThis author has not been identified. It may be one of the following persons:

Vania Vieira Estrela

Look up 'others' in Google

runs on WebDSL