- Referenced in 1898 articles
- Coq is a formal proof management system. It...
- Referenced in 522 articles
- ML (’Meta Language’) is a general-purpose functional...
- Referenced in 26 articles
- Our main interest in this project is to...
- Referenced in 414 articles
- Automath is a language designed by N.G. the...
- Referenced in 22 articles
- Irdis: a language with dependent types. Idris is...
- Referenced in 50 articles
- The CompCert project investigates the formal verification of...
- Referenced in 5 articles
- A trustworthy proof checker. Proof-Carrying Code (PCC...
- Referenced in 37 articles
- Idris is a general purpose pure functional programming...
- Referenced in 4 articles
- Towards certified meta-programming with typed Template-Coq...
- Referenced in 9 articles
- ELPI: Fast, Embeddable, λProlog Interpreter. We present a...