Parallel Postulates and Continuity Axioms: A Mechanized Study in Intuitionistic Logic Using Coq. - Pierre Boutry; Charly Gries; Julien Narboux; Pascal Schreck (J. Autom. Reason., 2019)