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: Aug 03 2024 at 00:02 UTC