@lex-lex lex-lex released this Dec 5, 2017 · 87 commits to master since this release

Assets 3

Version 1.2 of Leo-III features several improvements and new features, including:

  • Improved reasoning capabilities for polymorphic input problems (TF1, TH1)
  • Native support for higher-order modal logic (see README for details)
  • Special reasoning capabilities for problems containing injective functions
  • Function synthesis routines (--funcspec)
  • Several bug fixes and improved general performance