Jump to content

Template:User coq-0

From English Wikipedia @ Freddythechick

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://enwiki.freddythechick.net/index.php?title=Template:User_coq-0&oldid=4197121"

Computer language user templates

Hidden category:

Level-zero userbox templates