Maja Gwóźdź

icon indicating a website link https://asymptoticmayhem.webflow.io icon indicating an email [email protected]

icon location Switzerland

Results 1 issues of Maja Gwóźdź

Add natural language input

5 comment

- 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...