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
↓ Read more
![CoolProof screen 1](/img/1.gif)
![CoolProof screen 2](/img/1.gif)
![CoolProof screen 3](/img/1.gif)
![CoolProof screen 4](/img/1.gif)
![CoolProof screen 5](/img/1.gif)
![CoolProof screen 6](/img/1.gif)
![CoolProof screen 7](/img/1.gif)
![CoolProof screen 8](/img/1.gif)
![CoolProof screen 9](/img/1.gif)
![CoolProof screen 10](/img/1.gif)
![CoolProof screen 11](/img/1.gif)
![CoolProof screen 12](/img/1.gif)
![CoolProof screen 13](/img/1.gif)
![CoolProof screen 14](/img/1.gif)
![CoolProof screen 15](/img/1.gif)
![CoolProof screen 16](/img/1.gif)
![CoolProof screen 17](/img/1.gif)
![CoolProof screen 18](/img/1.gif)
Old versions
Version | Size | Update |
---|---|---|
⇢ 1.1 (4 variants) | ↓ 2.02 MB | ◴ 2 years ago |