Cited in
(10)- Residual theory in λ-calculus: a formal development
- Extensible and efficient automation through reflective tactics
- Inductive families
- VeriStar
- VeriSmall
- Mtac
- VeriML
- scientific article; zbMATH DE number 1070623 (Why is no real title available?)
- Verified heap theorem prover by paramodulation
- Towards certified meta-programming with typed Template-Coq
This page was built for software: Gallina
