The following pages link to ELPI (Q40235):
Displaying 10 items.
- A semantic framework for proof evidence (Q1701039) (← links)
- On the effectiveness of higher-order logic programming in language-oriented programming (Q2039939) (← links)
- \texttt{slepice}: towards a verified implementation of type theory in type theory (Q2119108) (← links)
- Maintaining a library of formal mathematics (Q2219408) (← links)
- Mechanized metatheory revisited (Q2323447) (← links)
- Proof checking and logic programming (Q2628296) (← links)
- A Modular Type Reconstruction Algorithm (Q4617969) (← 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)
- (Q5875441) (← links)