The main article for this category is Coq.
coq-1 • coq-2 • coq-3 • coq-4 • coq-N • coq-5 |
---|
coq-3 | This user is an advanced Coq programmer. |
For more information about languages on Wikipedia, see WP:Babel.
You can add yourself to this category by putting the {{User coq-3}} box on your user page.
Pages in category "User coq-3"
This category contains only the following page. This list may not reflect recent changes.