Foundation
| Module | Definitions | Abbreviations | Lemmas | Theorems | Examples | Difficulty |
|---|---|---|---|---|---|---|
| FixedPoint | 6 | 0 | 7 | 2 | 2 | optional |
| Perpetuity | 7 | 1 | 4 | 7 | 0 | hard |
| MaxwellsDemon | 3 | 0 | 1 | 7 | 0 | hard |
| FiniteStateMachines | 2 | 0 | 0 | 0 | 0 | easy |
| Feedback | 4 | 0 | 1 | 6 | 0 | hard |
| Module | Definitions | Abbreviations | Lemmas | Theorems | Examples | Difficulty |
|---|---|---|---|---|---|---|
| FixedPoint | 6 | 0 | 7 | 2 | 2 | optional |
| Perpetuity | 7 | 1 | 4 | 7 | 0 | hard |
| MaxwellsDemon | 3 | 0 | 1 | 7 | 0 | hard |
| FiniteStateMachines | 2 | 0 | 0 | 0 | 0 | easy |
| Feedback | 4 | 0 | 1 | 6 | 0 | hard |