type inference for CSR
Opened this issue · 0 comments
c-cube commented
$TPTP/Axioms/CSR003+0.ax contains mixed integers/symbols and I think we're a bit too strict in assuming "integer numeral => type is $int" there. It makes some problems fail with an error (e.g. $TPTP/Problems/CSR/CSR099+1.p)