Toggle navigation
Home
Links
Event-b
B-method page
Idris-lang
Hillel Wayne: Formal Methods
Kozen's notes
Exercises
Partial and Total orders
Formulas for Sets
Slides
Introduction and Set Theory
Notebooks
Languageofsets.ipynb
Notes
About Notes
Dependent Type theory
Inductive types and type families
About Notes
Date: 27 July 2019
These are draft notes and are not intended to be a complete reference.
All notes