![](https://www.pdfsearch.io/img/7f0fa6e602b90b56400d7b627dc36e9d.jpg) 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 CoqAdd to Reading ListSource URL: hal.inria.frDownload Document from Source Website File Size: 807,57 KBShare Document on Facebook
|