Home
Random
Nearby
Log in
Settings
Donate Now
If Wikipedia is useful to you, please give today.
About Wikipedia
Disclaimers
Search
Template
:
User coq-0
Template
Talk
Language
Watch
Edit
coq
-0
This person
does not understand
Coq
(or does not want to program in Coq).
v
t
e
Coq
Computer language
coq
0
0.5
1
2
3
4
