The following pages link to Hints in Unification (Q3183522):
Displaying 13 items.
- A formalization of multi-tape Turing machines (Q744986) (← links)
- Functions-as-constructors higher-order unification: extended pattern unification (Q2134936) (← links)
- Automated Reasoning in Higher-Order Regular Algebra (Q2915136) (← links)
- Formalising Overlap Algebras in Matita (Q3094175) (← links)
- Type classes for mathematics in type theory (Q3094177) (← links)
- Generic Literals (Q3453109) (← links)
- Competing Inheritance Paths in Dependent Type Theory: A Case Study in Functional Analysis (Q5048989) (← links)
- Validating Mathematical Structures (Q5048998) (← links)
- Interfacing Coq + SSReflect with GAP (Q5170233) (← links)
- The Matita Interactive Theorem Prover (Q5200015) (← links)
- Computer Certified Efficient Exact Reals in Coq (Q5200110) (← 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)
