Skip to content

Leo-III 1.5.2
Compare
Choose a tag to compare
@lex-lex lex-lex released this 13 Jan 08:57
· 147 commits to master since this release
v1.5.2
055e69b

Version 1.5.2 of Leo-III.
New features:

  • Improved TH1 proof output
  • Faster and more robust parser for TPTP inputs
Assets 2
Loading