Add the ACE-TPTP support (!13) · Merge requests · LARA / lisa · GitLab

Viktor Kuncak requested to merge github/fork/mkg33/mg/attempto into main Jun 01, 2022

Created by: mkg33

Added the function that converts ACE input to a TPTP formula using the Attempto webservice.
Added an example that illustrates the usage.
Also corrected a few minor typos and updated SBT version.