The following pages link to Pragmatic Quotient Types in Coq (Q5327346):
Displaying 12 items.
- Tests and proofs for custom data generators (Q1624592) (← links)
- Regular language representations in the constructive type theory of Coq (Q1663246) (← links)
- Graph theory in Coq: minors, treewidth, and isomorphisms (Q2209536) (← links)
- Formalizing complex plane geometry (Q2354913) (← links)
- (Q5028480) (← links)
- Quotients of Bounded Natural Functors (Q5048992) (← links)
- Trakhtenbrot’s Theorem in Coq (Q5048993) (← links)
- Formalizing the Face Lattice of Polyhedra (Q5049001) (← links)
- (Q5094138) (← links)
- (Q5094147) (← links)
- Quotients by Idempotent Functions in Cedille (Q5098733) (← links)
- (Q5875411) (← links)
