Statistics of Solving equations with negatives or crossing the formalizing gap

Contact ORBilu