文件列表:

LICENSE (823, 2019-11-13)
exercises (0, 2019-11-13)
exercises\Makefile (127, 2019-11-13)
exercises\a2.dot (1114, 2019-11-13)
exercises\a2.eps (15506, 2019-11-13)
exercises\e1.tex (5443, 2019-11-13)
exercises\e2.tex (8741, 2019-11-13)
exercises\e2Script.sml (2323, 2019-11-13)
exercises\e3.tex (5564, 2019-11-13)
exercises\e3Script.sml (2251, 2019-11-13)
exercises\e4-material (0, 2019-11-13)
exercises\e4-material\dot_graphsLib.sig (726, 2019-11-13)
exercises\e4-material\dot_graphsLib.sml (1566, 2019-11-13)
exercises\e4-material\e4_arraysLib.sml (2465, 2019-11-13)
exercises\e4-material\e4_arraysScript.sml (8081, 2019-11-13)
exercises\e4.tex (8283, 2019-11-13)
exercises\e5-material (0, 2019-11-13)
exercises\e5-material\e5-hints.txt (512, 2019-11-13)
exercises\e5-material\e5Script.sml (4965, 2019-11-13)
exercises\e5.tex (8331, 2019-11-13)
exercises\e6.tex (7300, 2019-11-13)
exercises\e7.tex (2659, 2019-11-13)
exercises\func_array.dot (888, 2019-11-13)
exercises\func_array.eps (12957, 2019-11-13)
exercises\philScript.sml (2325, 2019-11-13)
hol_commands.inc (578, 2019-11-13)
lectures (0, 2019-11-13)
lectures\00_webpage_intro.tex (1562, 2019-11-13)
lectures\01_introduction.tex (6985, 2019-11-13)
lectures\02_organisational_matters.tex (4458, 2019-11-13)
lectures\03_hol_overview.tex (5015, 2019-11-13)
lectures\04_hol_logic.tex (9759, 2019-11-13)
lectures\05_usage.tex (5451, 2019-11-13)
lectures\06_forward_proofs.tex (12748, 2019-11-13)
lectures\07_backward_proofs.tex (13691, 2019-11-13)
lectures\08_basic_tactics.tex (18963, 2019-11-13)
... ...

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.

近期下载者：

相关文件：

评论：[我要评论] [举报此文件]

收藏者：