Universities teaching Coq - coq/coq GitHub Wiki

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.

Austria

Brazil

Canada

China

  • Shanghai Jiao Tong University:
  • Nanjing University of Aeronautics and Astronautics:
    • Formalized Engineering Mathematics by Gang Chen

Croatia

Denmark

France

Germany

India

  • Indian Institute of Technology Madras:
  • Chennai Mathematical Institute
    • Interactive Theorem Proving, SP Suresh and MK Srivas

Israel

Italy

Hungary

  • Eötvös Loránd University
    • Formális szemantika (Formal semantics)

Mexico

Poland

Portugal

The Netherlands

Sweden

Switzerland

United States of America