Parallel Postulates and Continuity Axioms: A Mechanized Study in Intuitionistic Logic Using Coq
Crossref DOI link: https://doi.org/10.1007/s10817-017-9422-8
Published Online: 2017-09-08
Published Print: 2019-01
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Boutry, Pierre
Gries, Charly
Narboux, Julien
Schreck, Pascal
Text and Data Mining valid from 2017-09-08
Article History
Received: 17 July 2015
Accepted: 15 July 2017
First Online: 8 September 2017