Course catalogue

Planned courses are shown below (see also Roadmap).

Propositional logic

First-order logic

Arithmetic

Data types

Imperative programming

Hoare's logic

Procedural programming

Dynamic logic

Functional programming

Object-oriented programming

Separation logic

Reynolds' logic