New proof assistant

[Cernatescu Filip]

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!