Category:Coq User: Difference between revisions
Content added Content deleted
m (Created page with '{{langgroup|Coq}}') |
(No difference)
|
Latest revision as of 13:46, 14 March 2010
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.