Universities teaching Coq
The objective of this page is to list all the universities where Coq is taught in courses or Coq is used in courses. We need your help to complete it. Please add new links to courses you are aware of. Universities are listed by country in alphabetical order.
- Universidade de Brasilia:
-
University of Ottawa:
-
University of Waterloo:
- Shanghai Jiao Tong University:
- Nanjing University of Aeronautics and Astronautics:
- Formalized Engineering Mathematics by Gang Chen
- University of Zagreb:
- Aarhus Universtity:
- ITU:
- École Polytechnique :
- É. N. S. de Lyon :
- Ens Paris-Saclay :
- Université de Bordeaux :
- Logique et preuve (L3)
- Université Grenoble Alpes :
- Université de Paris :
- Université de Strasbourg :
- Preuves assistées par ordinateur (Master 1)
- Constructions et preuves en géométrie (Master 2)
- Friedrich-Alexander-University Erlangen-Nuremberg:
- Saarland University:
- Technische Hochschule Nürnberg - Georg Simon Ohm:
- University of Freiburg:
- Indian Institute of Technology Madras:
- Chennai Mathematical Institute
- Interactive Theorem Proving, SP Suresh and MK Srivas
- Ben Gurion University of the Negev:
- Tel Aviv University:
- Università degli Studi di Udine
- Eötvös Loránd University
- Formális szemantika (Formal semantics)
- National Autonomous University of Mexico (UNAM), Faculty of Science
- University of Wrocław:
- Universidade da Beira Interior:
- Universidade do Minho:
- Universidade de Lisboa:
- Eindhoven University of Technology:
- Radboud University
- Type Theory and Coq, IMC010
- Logic and Applications
- Chalmers University of Technology:
- Caltech:
- Carnegie Mellon University:
- Cornell University:
- MIT:
- Northern Arizona University:
- Pomona College:
- Princeton University:
- Rice University:
- UNC Greensboro:
- University of Chicago
- University of Illinois at Chicago:
- University of Kansas
- University of Maryland:
- University of Massachusetts:
- University of Pennsylvania:
- University of Rochester
- Machine-checked Proofs using Coq by Chen Ding
To the extent possible under law, the contributors of “Cocorico!, the Coq wiki” have waived all copyright and related or neighboring rights to their contributions.
By contributing to Cocorico!, the Coq wiki, you agree that you hold the copyright and you agree to license your contribution under the CC0 license or you agree that you have permission to distribute your contribution under the CC0 license.