GitPlanet

Cheap and reliable Node.js hosting starts at $3/month, and $1/month static HTML hosting

Created with love in Canada, visit hostnodejs.com today

Feel like to post an Ad? Learn Details
All Projects → nipkow → fds_ss20

nipkow / fds_ss20

Licence: other
Lecture course on verified Functional Data Structures

Programming Languages

Isabelle
26 projects
Standard ML
205 projects

FDS Material 2020
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
Note that the project description data, including the texts, logos, images, and/or trademarks, for each open source project belongs to its rightful owner. If you wish to add or remove any projects, please contact us at [email protected].