OpenReasoning/forseti

Issues

• Support unicode strings

  #8 opened 9 years ago by MasterOdin
  1

• Add additional parse types

  #2 opened 10 years ago by MasterOdin
  0

• Improve herbidization and skolemization processes

  #7 opened 9 years ago by MasterOdin
  0

• Implement equality operator

  #6 opened 9 years ago by MasterOdin
  0

• Sorts

  #3 opened 9 years ago by MasterOdin
  0

• Handle basic arithmetic

  #4 opened 9 years ago by MasterOdin
  0

• Implement further calculi

  #5 opened 9 years ago by MasterOdin
  0

• Rewrite readme.md as readme.rst for pypi

  #1 opened 10 years ago by MasterOdin
  1