Template:User coq-3

This user is an advanced Coq programmer.

v t e Coq
Computer language	coq 0 0.5 1 2 3 4

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