Pages that link to "Item:Q1725841"
From MaRDI portal
The following pages link to Parallel postulates and continuity axioms: a mechanized study in intuitionistic logic using Coq (Q1725841):
Displayed 7 items.
- Formalization of the Poincaré disc model of hyperbolic geometry (Q2031408) (← links)
- The ubiquitous axiom (Q2038868) (← links)
- Theorem proving as constraint solving with coherent logic (Q2102932) (← links)
- Tarski geometry axioms. IV: Right angle (Q2416858) (← links)
- Implementing Euclid's straightedge and compass constructions in type theory (Q2631963) (← links)
- Proof-checking Euclid (Q2631965) (← links)
- Euclid after Computer Proof-Checking (Q5094535) (← links)