Launch application
See axiomatics

Pedagogical benefits

Develop

The student learns how a mathematical proof works thanks to the numerical paper interface.

Learn more

Clarify

All calculus and reasoning rules necessary for the student to solve the exercises, are provided in the 'theorem box'.

Learn more

Practice

The student masters studied notions by increasing the number of exercises' resolutions thanks to the assistance provided by the numerical paper.

Learn more

Create a class and monitor students activity

Select exercises

Add the class to your LMS (Moodle, Canvas, …)

Create homeworks assignments and exams

Monitor your students activity with detailed reports

Create a class

10€excl. tax. / year / student

Up to 90 students.

“Mathematics is a game played according to certain simple rules with meaningless marks on paper.”

Practice

Currently 500+ exercises in three thematics are available.

Calculus

Students develop the skill of algabraic calculus with fundamental operations (expansion, factorisation, ...).

Start

Logic

Students master natural deduction elements : connectors, quantifiers, classical logic vs. constructive logic ...

Start

Sets

Students master fundamental mathematcial objects : relations, functions, ...

Start

Used at



edukera embeds coq proof assistant, developped by