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

Onglets principaux

Boutry, P., Gries, C., Narboux, J., & Schreck, P. (2017). Parallel Postulates and Continuity Axioms: A Mechanized Study in Intuitionistic Logic Using Coq. Journal Of Automated Reasoning. doi:10.1007/s10817-017-9422-8