See the course website at: https://kth-step.github.io/itppv-course/
See also supplementary files for homeworks.
The following files are licensed under the CC-BY-SA license and derived from Thomas Tuerk's ITP Course material:
Interactive Theorem Proving course using HOL4
See the course website at: https://kth-step.github.io/itppv-course/
See also supplementary files for homeworks.
The following files are licensed under the CC-BY-SA license and derived from Thomas Tuerk's ITP Course material:
Interactive Theorem Proving course using HOL4
https://kth-step.github.io/itppv-course/