Gallina

MaRDI QIDQ39284swMATHFDO

Official website https://coq.inria.fr/refman/language/gallina-specification-language.html

Cited in

(10)

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

This page was built for software: Gallina