Skip to content

Version 1.5
Compare
Choose a tag to compare
@lex-lex lex-lex released this 06 Feb 14:32
· 44 commits to master since this release
v1.5
4d436b4

Version 1.5 of the scala-tptp-parser library.

Updates:

  • Bumped Scala version to 2.13.8
  • Parsing of (user/defined/system) comments into the AST, thanks to @XBagon
  • Support of sub-roles (e.g., axiom-something or conjecture-[strength(0.85)])
  • Full support for new non-classical TPTP syntax (http://tptp.org/NonClassicalLogic/)

See the README for further information.

Contributors

XBagon
Assets 2
Loading