Foundation
This text should be displayed on top of the Foundation overview page.
(TODO: Describe contents.)
| Module | Definitions | Abbreviations | Lemmas | Theorems | Difficulty |
|---|---|---|---|---|---|
| Information | 5 | 2 | 2 | 8 | moderate |
| Functionality | 3 | 6 | 1 | 3 | easy |
| InformationSystems | 5 | 8 | 9 | 2 | moderate |
| Perpetuity | 7 | 1 | 4 | 7 | hard |
| Implementation | 4 | 10 | 12 | 0 | moderate |
| ImplementationCategory | 10 | 5 | 29 | 4 | optional |
| Specification | 17 | 1 | 15 | 1 | optional |
| SpecificationCategory | 11 | 0 | 1 | 24 | optional |
| FunctionalityCategory | 6 | 0 | 0 | 19 | optional |
| FixedPoint | 7 | 0 | 7 | 3 | optional |
| Interfaces | 4 | 1 | 0 | 1 | moderate |
| LayeredArchitecture | 3 | 1 | 0 | 1 | moderate |