Computer Chips
| Module | Definitions | Abbreviations | Lemmas | Theorems | Difficulty |
|---|---|---|---|---|---|
| MaxwellsDemon | 3 | 0 | 1 | 7 | hard |
| FiniteStateMachines | 2 | 0 | 0 | 0 | easy |
| Feedback | 2 | 0 | 0 | 6 | optional |
| Module | Definitions | Abbreviations | Lemmas | Theorems | Difficulty |
|---|---|---|---|---|---|
| MaxwellsDemon | 3 | 0 | 1 | 7 | hard |
| FiniteStateMachines | 2 | 0 | 0 | 0 | easy |
| Feedback | 2 | 0 | 0 | 6 | optional |