Template:User coq-0

From Wikipedia, the free encyclopedia

Jump to navigation Jump to search

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

Retrieved from "http://70.231.62.181/index.php?title=Template:User_coq-0&oldid=6875617"

Computer language user templates

Hidden category:

Level-zero userbox templates