The following pages link to Types for Proofs and Programs (Q5712303):
Displaying 11 items.
- Partial instantiation methods for inference in first-order logic (Q1610676) (← links)
- Hammer for Coq: automation for dependent type theory (Q1663240) (← links)
- A Declarative Language for the Coq Proof Assistant (Q3499750) (← links)
- Building Decision Procedures in the Calculus of Inductive Constructions (Q3608422) (← links)
- (Q3805882) (← links)
- (Q4365106) (← links)
- Practical Proof Search for Coq by Type Inhabitation (Q5048991) (← links)
- A practical integration of first-order reasoning and decision procedures (Q5234694) (← links)
- Inductive Logic Programming (Q5494320) (← links)
- (Q5599795) (← links)
- Types for Proofs and Programs (Q5712312) (← links)