> Le samedi 9 novembre 2019 12:27:12 UTC+1, Filip Cernatescu a écrit : > > I have a question for set.mm contributors: > > Automatic prover for a+b,a-b,a×b,a/b, a<b,a>b... it will be necessary?
mmj2 includes *some* of that. I don't know about "necessary", but it's certainly *useful*. --- David A. Wheeler -- You received this message because you are subscribed to the Google Groups "Metamath" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/E1iTU3s-0004pp-Eb%40rmmprod07.runbox.
