Somme des angles d'un triangle et unicité de la parallèle : une preuve d'équivalence formalisée en Coq

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

@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://icube-publis.unistra.fr/5-GBN16}
}

See publications of the same authors