The student learns how a mathematical proof works thanks to the numerical paper interface.
All calculus and reasoning rules necessary for the student to solve the exercises, are provided in the 'theorem box'.
The student masters studied notions by increasing the number of exercises' resolutions thanks to the assistance provided by the numerical paper.
Currently 500+ exercises in three thematics are available.
Students develop the skill of algabraic calculus with fundamental operations (expansion, factorisation, ...).
Students master natural deduction elements : connectors, quantifiers, classical logic vs. constructive logic ...
Students master fundamental mathematcial objects : relations, functions, ...