Somme des angles d’un triangle et unicit´ e de la parall` ele : une preuve d’´ equivalence formalis´ ee en Coq

First Page		Document Content
Date: 2016-03-04 12:36:28		Somme des angles d’un triangle et unicit´ e de la parall` ele : une preuve d’´ equivalence formalis´ ee en Coq Add to Reading List Source URL: hal.inria.fr Download Document from Source Website File Size: 807,57 KB Share Document on Facebook