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.
Secure & Private
Your data is protected with industry-leading security protocols.
24/7 Support
Our dedicated support team is always ready to help you.
Personalization
Customize the app to match your preferences and workflow.
Screenshots
See the Natural Deduction for Android in Action
Get the App Today
Download on Google Play
Available for Android 8.0 and above