ELPI
From MaRDI portal
Software:40235
No author found.
Related Items (10)
Proof checking and logic programming ⋮ Unnamed Item ⋮ A semantic framework for proof evidence ⋮ A comprehensible guide to a new unifier for CIC including universe polymorphism and overloading ⋮ A Modular Type Reconstruction Algorithm ⋮ Maintaining a library of formal mathematics ⋮ On the effectiveness of higher-order logic programming in language-oriented programming ⋮ Implementing type theory in higher order constraint logic programming ⋮ Mechanized metatheory revisited ⋮ \texttt{slepice}: towards a verified implementation of type theory in type theory
This page was built for software: ELPI
