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"
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
- Thomas Tuerk (http://www.thomas-tuerk.de)
Copyright License
This work is licensed under a Creative Commons Attribution-ShareAlike 4.0 International License.
Description
Languages
PostScript
68.5%
TeX
28.3%
Standard ML
2.5%
PHP
0.4%
Makefile
0.2%