edukera
Teach Logic and Math with a proof assistant.
Web
www.edukera.com
Twitter
twitter.com/edukera
LinkedIn
www.linkedin.com/company/edukera
GitHub
github.com/edukera
Edukera is an educational application dedicated to mathematical demonstration. Students develop logical reasoning skills by solving exercises with an easy and intuitive web interface.