Shared

This library gathers the pieces every course shares: a way to track each course’s own concepts (Ontology), a notation for sequences, 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.

• Ontology
  • Difficulty: no difficulty tag (0 definitions, 0 abbreviations, 0 lemmas, 0 theorems)
  • Examples: 0
  • Total complexity: 4556
• Sequence
  • Difficulty: moderate (0 definitions, 0 abbreviations, 0 lemmas, 0 theorems)
  • Examples: 0
  • Total complexity: 1607
• Specification
  • Difficulty: no difficulty tag (0 definitions, 0 abbreviations, 0 lemmas, 0 theorems)
  • Examples: 0
  • Total complexity: 946
• Heap
  • Difficulty: no difficulty tag (0 definitions, 0 abbreviations, 0 lemmas, 0 theorems)
  • Examples: 0
  • Total complexity: 248485
• Object
  • Difficulty: no difficulty tag (0 definitions, 0 abbreviations, 0 lemmas, 0 theorems)
  • Examples: 0
  • Total complexity: 2592