LEGO(ID:6971/leg005)
Country: uk
languages for uk
uk/1992
Began: 1992
Languages for 1992
1990s languages
Fifth generation
Post-Cold War
proof system
Randi Pollack, Edinburgh 1992
Related languages
coq
=>
LEGO
Based on