Stream: Miscellaneous

Topic: Formal methods course list

view this post on Zulip Karl Palmskog (Dec 22 2021 at 14:44):

https://fme-teaching.github.io/courses/

view this post on Zulip Karl Palmskog (Dec 22 2021 at 22:23):

for context, we were adding to this list: https://github.com/coq/coq/wiki/Universities-teaching-Coq

view this post on Zulip Bas Spitters (Dec 23 2021 at 15:12):

Added Denmark ...

Last updated: Dec 01 2023 at 07:01 UTC