swMATH28521MaRDI QIDQ40235FDOQ40235
Author name not available (Why is that?)
Official website: https://link.springer.com/chapter/10.1007/978-3-662-48899-7_32
Source code repository: https://github.com/LPCIC/elpi
Cited In (28)
- 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
- Beluga
- MontiCore
- Title not available (Why is that?)
- Abella
- Bedwyr
- Irdis
- Minlog
- TCB
- MetaEdit+
- SugarJ
- Idris
- KANREN
- LLFp
- SPEC
- Teyjus
- Neverlang
- Template-Coq
- PRIZ
- A comprehensible guide to a new unifier for CIC including universe polymorphism and overloading
- Implementing type theory in higher order constraint logic programming
- lang-n-play
- A semantic framework for proof evidence
This page was built for software: ELPI
