Download mathProofs APK latest version Free for Android
| Version | 1.3 |
| Update | 4 years ago |
| Size | 7.59 MB (7,954,259 bytes) |
| Developer | Ukusan |
| Category | Games, Educational |
| Package Name | com.coqapp |
| OS | 4.1 and up |
mathProofs GAME description
Learn and improve your ability to prove math theorems!
The brain is plastic and can improve with repeated drilling. Whether you are a math university student, or a high school student training for the international math olympiads, you'll get better at proving math theorems through repeated practice.
Learn concepts such as induction, rewrite, apply.
Based on the Coq proof verification software.
Learn concepts such as induction, rewrite, apply.
Based on the Coq proof verification software.