Version 1.7.1

Latest

Latest

lex-lex released this 25 Mar 19:12

· 3 commits to master since this release

Version 1.7.1 of the scala-tptp-parser library.

Updates:

Allow any TFF terms on the left side of a meta equality (==).

See the README for further information.

Assets 2