xrs-0.1.0.0

Modules

• Display
  Submodules

  •  Display.Latex
• Lang
  Submodules

  •  Lang.Classification
  •  Lang.ClassificationInstances
  •  Lang.Denotation
  •  Lang.Evaluation
  •  Lang.Explanation
  •  Lang.Heuristic
  •  Lang.Lang
  •  Lang.NamedExplanation
  •  Lang.Operation
  •  Lang.Parser
• Logic
  Submodules

  •  Logic.Problems
  •  Logic.Proof