edukera
Teach Logic and Math with a proof assistant.
Edukera is an educational application dedicated to mathematical demonstration. Students develop logical reasoning skills by solving exercises with an easy and intuitive web interface.
CypherHunter Plus
Subscribe to distraction-free reading, and unprecedented access to our data.