C. Gries , P. Boutry , J. Narboux
Les vingt-septièmes Journées Francophones des Langages Applicatifs (JFLA 2016) - 2016
National conference with proceedings
Somme des angles d'un triangle et unicité de la parallèle : une preuve d'équivalence formalisée en Coq, Les vingt-septièmes Journées Francophones des Langages Applicatifs (JFLA 2016), Saint Malo, France, janvier 2016
Research team : IGG
Powered by Papr@Inproceedings{5-GBN16,
author = {Gries, C. and Boutry, P. and Narboux, J.},
title = {Somme des angles d'un triangle et unicit\'e de la parall\`ele : une preuve d'\'equivalence formalis\'ee en Coq},
booktitle = {Les vingt-septi\`emes Journ\'ees Francophones des Langages Applicatifs (JFLA 2016)},
month = {Jan},
year = {2016},
x-international-audience = {No},
x-language = {FR},
url = {http://publis.icube.unistra.fr/5-GBN16}
}