The following pages link to (Q4736392):
Displayed 7 items.
- Realizability interpretation of proofs in constructive analysis (Q1015381) (← links)
- A constructive algebraic hierarchy in Coq. (Q1404425) (← links)
- The HOL Light theory of Euclidean space (Q1945903) (← links)
- Formalizing complex plane geometry (Q2354913) (← links)
- Theory Presentation Combinators (Q2907324) (← links)
- The challenge of computer mathematics (Q5301849) (← links)
- Theory of Constructive Semigroups with Apartness – Foundations, Development and Practice (Q5862344) (← links)