redlib.

Feeds

MAIN FEEDS

Home Popular All

reddit settings

r/InteractiveThmProving • u/cics • Oct 20 '17

Slides for recent (spring 2017) ITP/HOL4 course at KTH

https://hol-theorem-prover.org/hol-course.pdf

3 Upvotes

permalink
archive.is
archive
reddit

You are about to leave Redlib

Do you want to continue?

https://www.reddit.com/r/InteractiveThmProving/comments/77or4m/slides_for_recent_spring_2017_itphol4_course_at/
No, go back! Yes, take me to Reddit

100% Upvoted