Charly Gries, Pierre Boutry, Julien Narboux. 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), Jan 2016, Saint Malo, France. pp.15, 2016, Actes des Vingt-septièmes Journées Francophones des Langages Applicatifs (JFLA 2016).
〈http://jfla.inria.fr/2016/〉.
〈hal-01228612v2〉