京都大学工学部『計算と論理』
https://www.fos.kuis.kyoto-u.ac.jp/~igarashi/class/cal/
https://www.fos.kuis.kyoto-u.ac.jp/~igarashi/class/cal21w/
2021年の
こっちのほうがスライドがもう上がっているので…
#Coq