Gallina

swMATH27568MaRDI QIDQ39284FDOQ39284

Author name not available (Why is that?)

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

Cited In (10)

• Verified heap theorem prover by paramodulation
• Residual theory in λ-calculus: a formal development
• Inductive families
• VeriStar
• VeriSmall
• Mtac
• VeriML
• Extensible and efficient automation through reflective tactics
• Title not available (Why is that?)
• Towards certified meta-programming with typed Template-Coq

This page was built for software: Gallina