You are viewing the
staging branch
of the website @
884bba1
, not the
live version
.
Dismiss
Search Rocq packages
Standard Library
Learn
Platform
Packages
Community
Consortium
News
Get Started
Search Rocq packages
Learn
Platform
Packages
Community
Consortium
News
Standard Library
Get started
Back
Academic Institutions Teach the Rocq Prover!
Academic Entries
To list an academic institution, check out the
Contributing Guide
on GitHub.
Search institutions
Resource Type
Lecture Notes
Exercises
Video Recordings
Select a Continent
North America
Europe
Asia
University of Massachusetts Boston
Logical Foundations in Computer Science
Lecture Notes
Exercises
Video Recordings
Universytet Wrocławski
Formalizacja języków programowania w systemie Coq
Lecture Notes
Exercises
Video Recordings
Obliczenia i wnioskowanie w systemie Coq
Lecture Notes
Exercises
Video Recordings
Seminar: Program certification in Coq
Lecture Notes
Exercises
Video Recordings
Télécom Paris
Logique et Fondements de l'Informatique
Lecture Notes
Exercises
Video Recordings
University of Ottawa
Software Foundations
Lecture Notes
Exercises
Video Recordings
Purdue University
Programming Languages
Lecture Notes
Exercises
Video Recordings
Massachusetts Institute of Technology
Formal Reasoning About Programs
Lecture Notes
Exercises
Video Recordings
Université Grenoble Alpes
Programmation fonctionnelle
Lecture Notes
Exercises
Video Recordings
Saarland University
Introduction to Computational Logic
Lecture Notes
Exercises
Video Recordings
IT University of Copenhagen
Program Verification
Lecture Notes
Exercises
Video Recordings
Shanghai Jiao Tong University
Functional Programming in Coq
Lecture Notes
Exercises
Video Recordings
1
2
3
