List view

• FOL expressivity

  The FOL elements for the TPTP language are supported.

  No due date

  •1/1 issues closed
  100% complete0 open1 closed

• Hornlog expressivity

  The Hornlog elements <Expr> and <Fun> are supported.

  No due date

  •1/1 issues closed
  100% complete0 open1 closed