Pages that link to "Item:Q5327334"
From MaRDI portal
The following pages link to Canonical Structures for the Working Coq User (Q5327334):
Displayed 17 items.
- Session types without sophistry. System description (Q2039935) (← links)
- A formalization of Dedekind domains and class groups of global fields (Q2102929) (← links)
- Exploring the structure of an algebra text with locales (Q2209550) (← links)
- Classification of finite fields with applications (Q2323448) (← links)
- 1ML – Core and modules united (Q4625163) (← links)
- Competing Inheritance Paths in Dependent Type Theory: A Case Study in Functional Analysis (Q5048989) (← links)
- Validating Mathematical Structures (Q5048998) (← links)
- Formalizing the Face Lattice of Polyhedra (Q5049001) (← links)
- (Q5094138) (← links)
- A trustful monad for axiomatic reasoning with probability and nondeterminism (Q5152658) (← links)
- (Q5195290) (← links)
- Implementing type theory in higher order constraint logic programming (Q5236551) (← links)
- A comprehensible guide to a new unifier for CIC including universe polymorphism and overloading (Q5372007) (← links)
- (Q5856420) (← links)
- (Q5875441) (← links)
- Formalization of the fundamental group in untyped set theory using auto2 (Q5915787) (← links)
- Integration of multiple formal matrix models in Coq (Q6168985) (← links)