Gallina(ID:1924/gal005)
Country: fr
languages for fr
fr/1992
Began: 1992
Languages for 1992
1990s languages
Fifth generation
Post-Cold War
Sammet:EXP
EXP
EXP/1992
EXP/fr
from genus of Cock, after Coq
the base language for the Coq system
Structures:
Function
Related languages
coq
=>
Gallina
Subsystem
Resources
CMU AI
external link
Coq tutorial
external link
Coq home page
external link