Download CoolProof APK latest version Free for Android
| Version | 1.1 |
| Update | 2 years ago |
| Size | 2.45 MB (2,569,393 bytes) |
| Developer | LUDev |
| Category | Apps, Education |
| Package Name | com.ludev.coolproof |
| OS | 4.1 and up |
CoolProof APPLICATION description
A tool to help you learn propositional logic proofs using proof trees
CoolProof is a tool to help you learn propositional logic proofs using proof trees.
Features:
- Create proof trees using a graphical interface
- 20 expressions to prove, increasing in difficulty
- An easy mode where the app only shows actions that might help at that point
- Ability to add your own expressions and prove them
Features:
- Create proof trees using a graphical interface
- 20 expressions to prove, increasing in difficulty
- An easy mode where the app only shows actions that might help at that point
- Ability to add your own expressions and prove them
Old versions
| Version | Size | Update |
|---|---|---|
| ⇢ 1.1 (4 variants) | ↓ 2.02 MB | ◴ 2 years ago |