ELPI

swMATH28521MaRDI QIDQ40235FDOQ40235

Author name not available (Why is that?)

Described by source

• ELPI: Fast, Embeddable, $$\lambda $$ Prolog Interpreter

Cited In (10)

• Maintaining a library of formal mathematics
• \texttt{slepice}: towards a verified implementation of type theory in type theory
• Mechanized metatheory revisited
• Proof checking and logic programming
• A Modular Type Reconstruction Algorithm
• On the effectiveness of higher-order logic programming in language-oriented programming
• Title not available (Why is that?)
• A comprehensible guide to a new unifier for CIC including universe polymorphism and overloading
• Implementing type theory in higher order constraint logic programming
• A semantic framework for proof evidence

This page was built for software: ELPI