The main article for this category is Coq.
coq-1coq-2coq-3coq-4 coq-N coq-5


coq-1This user is a beginning Coq programmer.

For more information about languages on Wikipedia, see WP:Babel.

You can add yourself to this category by putting the {{User coq-1}} box on your user page.

Pages in category "User coq-1"

This category contains only the following page. This list may not reflect recent changes.