Jump to content

Template:User coq-0

From Wikipedia, the free encyclopedia

This is an old revision of this page, as edited by CodeBlock (talk | contribs) at 09:39, 28 December 2016 (Initial revision). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

(diff) ← Previous revision | Latest revision (diff) | Newer revision → (diff)

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

Retrieved from "https://en.wikipedia.org/w/index.php?title=Template:User_coq-0&oldid=757029295"

Computer language user templates

Hidden category:

Level-zero userbox templates