Leo-III version 1.7.18.
Minor updates:
- Fixed a bug that would cause infinite definition expansions in case of recursive definitions
- Fixed a bug that would omit symbol declarations in proofs in some cases
- Improved TPTP proof output with strict order: First types, then symbol declarations, then definitions.
- Typecheck mode (with
--typecheck) now gives line numbers of ill-typed formulas from the source file.