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

“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



Team

Benoît Rognier
Co-founder

Guillaume Duhamel
Co-founder

Romain Guillot
Designer

Jérémie Maquet
Integrator

edukera embeds coq proof assistant, developped by