Remainder operation is disabled

[gistya]

In trying to use LEO, I ran into the issue that the remainder operations $remainder_t, $remainder_e are commented out in the current code. Are these operations simply not supported or is there something I need to do in order to activate them? Thanks.

Leo-III/src/main/scala/leo/modules/HOLSignature.scala

Line 464 in 029813a

("$quotient_t", HOLQuotientT.ty, lexProp),

[lex-lex]

Hi,
I'm sorry to say that these operations are currently not supported in Leo-III. We're working on support for arithmetic at the moment, but it's unclear how fast (and how comprehensive) this will be.