Mentions légales du service

Skip to content

Fix syntax for negative integers in TPTP.

Guillaume Melquiond requested to merge fix-tptp-negative into master

Solvers fail on "(- 1000)". They, however, seem to parse "-1000".

Merge request reports