Category:Coq User

From Rosetta Code
Revision as of 13:46, 14 March 2010 by rosettacode>UnderBot (Created page with '{{langgroup|Coq}}')
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

This is a list of users on Rosetta Code who say they can use Coq with any level of proficiency.

Pages in category "Coq User"

The following 2 pages are in this category, out of 2 total.

E

R

Retrieved from "https://rosettacode.org/wiki/Category:Coq_User?oldid=143047"