I proved quad3 using milpgame

33 views

Skip to first unread message

unread,

Nov 4, 2019, 4:35:26 AM11/4/19

to Metamath

quad3 is a quadratic equation formula without discriminant that is available in Filip Cernatescu mathbox.

If somebody wants to use milpgame, milpgame0.9 is available on us2.metamath.org

Regards Filip

Reply all

Reply to author

Forward

0 new messages