https://fme-teaching.github.io/courses/
for context, we were adding to this list: https://github.com/coq/coq/wiki/Universities-teaching-Coq
Added Denmark ...
Last updated: Feb 05 2023 at 08:28 UTC