Skip to content

Add natural language input

Viktor Kuncak requested to merge github/fork/mkg33/attempto into main

Created by: mkg33

  • Added a function that converts ACE input to a TPTP formula using the Attempto webservice.
  • Added a function that converts a TPTP formula to natural language.
  • Added an example that illustrates the usage.
  • Also corrected a few minor typos.

Merge request reports