Home
Random
Nearby
Log in
Settings
Donate
About Wikipedia
Disclaimers
Search
Template
:
User coq
Template
Talk
Language
Watch
Edit
-
This user can prove theorems and,
at the same time
, program in
Coq
.
v
t
e
Coq
Computer language
coq
0
1
2
3
4
-