Foundation

• FixedPoint
  • Difficulty: optional (6 definitions, 0 abbreviations, 7 lemmas, 2 theorems)
  • Examples: 2
  • Total complexity: 14073
• Perpetuity
  • Difficulty: hard (7 definitions, 1 abbreviations, 4 lemmas, 7 theorems)
  • Examples: 0
  • Total complexity: 219940
• MaxwellsDemon
  • Difficulty: hard (3 definitions, 0 abbreviations, 1 lemmas, 7 theorems)
  • Examples: 0
  • Total complexity: 33863
• FiniteStateMachines
  • Difficulty: easy (2 definitions, 0 abbreviations, 0 lemmas, 0 theorems)
  • Examples: 0
  • Total complexity: 107
• Feedback
  • Difficulty: hard (4 definitions, 0 abbreviations, 1 lemmas, 7 theorems)
  • Examples: 0
  • Total complexity: 93649