Shared
This library gathers the pieces every course shares: a way to track each course’s own concepts (Ontology), a generic notion of interface and specification, a model of a heap of objects, and objects built on top of it. No course content lives here, only what more than one course needs.
| Module | Definitions | Abbreviations | Lemmas | Theorems | Examples | Difficulty |
|---|---|---|---|---|---|---|
| Ontology | 0 | 0 | 0 | 0 | 0 | — |
| Specification | 0 | 0 | 0 | 0 | 0 | — |
| Heap | 0 | 0 | 0 | 0 | 0 | — |
| Object | 0 | 0 | 0 | 0 | 0 | — |