slides-isabelle.pdf: | Isabelle tutorial slides (for Part I) |
prog-prove.pdf: | Isabelle tutorial (for Part I) |
Demos: | Demo theories (for Part I) |
slides-fds.pdf: | Slides for (Part II) |
book-fds.pdf: | Book for (Part II) (work in progress!) |
Thys: | Theories for (Part II) (under construction) |
Homeworks: | Homeworks and tutorial exercises |
redbeardster / fds_ss20 Goto Github PK
View Code? Open in Web Editor NEWThis project forked from nipkow/fds_ss20
Lecture course on verified Functional Data Structures