Gallina
Coq
の
仕様記述言語
The Gallina specification language — Coq 8.9.1 documentation
Introduction and Contents — Coq 8.19.2 documentation
関連
Vernacular
#programming_language