4.9/5
( 252+ reviews)
Features Natural Deduction for Android
Let Proof Generator generate proofs for you.
Practice your own natural deduction skills with Proof Checker.
Save your exercises on device and return to them later on.Includes truth-functional classical logic and (optionally) modal logic S5.
💪
Fitness Tracking
Track your workouts and monitor your health metrics.
📚
Learning Tools
Enhance your learning experience with interactive features.
🏠
Smart Home
Control and monitor your home with smart features.
Screenshots
See the Natural Deduction for Android in Action
Get the App Today
Download on Google Play
Available for Android 8.0 and above