Hi to all! I have made a new proof assistant inspired from metamath but much close to classical math.On mmex.app you can find 2 proven formulas:(a+b)^2 and quadratic equation. For the moment you can only see the proof or you can reprove again the formula(new formulas cannot added from now but in the future: yes) After entering on mmex.app go to: Content , then to : Proven formulas and then you will find the 2 formulas. Base formulas are built-in (coded in javascript) like: calulations, give a common factor, add exponents on a product of powers with same base, etc......but are also proven formulas that can act as a built-in formulas. If you have some time to take a look on my site it will be wonderfull..... Have a nice day!
-- 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 visit https://groups.google.com/d/msgid/metamath/530350633.946532.1771663899079%40mail.yahoo.com.
