Home
From Wikipedia, the free encyclopedia
coq
-0
This person
does not understand
Coq
(or does not want to program in Coq).
v
t
e
Coq
Computer language
coq
0
1
2
3
4
Category
:
Computer language user templates
Hidden category:
Level-zero userbox templates