If what you want is something that is able to compute AND prove by itself that the result of
"( ( ( ; 2 6 + ( 2 ^ 3 ) ) x. ( ( ( 7 x. ; 8 9 ) x. ( ; ; 1 2 3 + ( 7 x. ( ! ` 5 ) ) ) ) - ; ; 2 3 8 ) ) / ; 1 4 )" is ; ; ; ; ; ; 1 4 5 6 4 4 1 I have one prototype working, but I am not yet ready to release it publicly. 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? -- 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/d86a6d89-e9ae-4eb4-ac27-6932721a8827%40googlegroups.com.
