Parallel Postulates and Continuity Axioms: A Mechanized Study in Intuitionistic Logic Using Coq

BOUTRY, Pierre, GRIES, Charly, NARBOUX, Julien et SCHRECK, Pascal, 2017. Parallel Postulates and Continuity Axioms: A Mechanized Study in Intuitionistic Logic Using Coq. Journal of Automated Reasoning [en ligne]. septembre 2017. [Consultésans date]. DOI 10.1007/s10817-017-9422-8. Consulté de : https://link.springer.com/article/10.1007%2Fs10817-017-9422-81. .