• Startup configuration
  • Arithmetic
  • Other operations on numbers
  • Calculus
  • Linear Algebra
  • Polynomials
  • List operations
  • Functional operators
  • Control flow functions
  • Predicates
  • Propositional logic theorem prover
  • Constants
  • Variables
  • Input/Output
  • String manipulation