thtuerk/ITP-Course
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
2 Commits 1 Branch 0 Tags
master
Go to file
Clone
Open with VS Code Open with VSCodium Open with Intellij IDEA
Download ZIP Download TAR.GZ Download BUNDLE
Thomas Tuerk 2bc4814c47 remove superfluous files 
remove "14a_final_project.tex" which should have never been there. It
should have been removed during cleanup and is just an old copy of
"14_advanced_definitions.tex"
2019-11-13 11:38:28 +01:00
exercises
initial version
2019-11-11 13:42:59 +01:00
lectures
remove superfluous files
2019-11-13 11:38:28 +01:00
questionnaire
initial version
2019-11-11 13:42:59 +01:00
.gitignore
initial version
2019-11-11 13:42:59 +01:00
hol_commands.inc
initial version
2019-11-11 13:42:59 +01:00
LICENSE
initial version
2019-11-11 13:42:59 +01:00
README.md
initial version
2019-11-11 13:42:59 +01:00

README.md

Interactive Theorem Proving Course

This repository contains the sources for an Interactive Thereom Proving Course that focuses on HOL 4. It was originally given by the PROSPER group at KTH in Stockholm in 2017.

There is a live version at https://hol-theorem-prover.org/hol-course-print.pdf.

Authors

Copyright License

Creative Commons License
This work is licensed under a Creative Commons Attribution-ShareAlike 4.0 International License.

Description
Folien zu ITP Kurs
Readme 721 KiB
Languages
PostScript 68.5%
TeX 28.3%
Standard ML 2.5%
PHP 0.4%
Makefile 0.2%