Natural Deduction for Android
Proof Generator and Proof Checker
Developer: Jukka Hkkinen
App Size: Varies With Device
Release Date: Dec 30, 2021
Price: Free
Education
Natural Deduction for Android
Screenshots for App
Mobile
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.
Natural Deduction for Android 1.0 Update
2021-12-30 Version History
Natural deduction: proof generator and proof checker
~Jukka Hkkinen
~Jukka Hkkinen
More Information about: Natural Deduction for Android
Price:
Free
Version:
1.0
Downloads:
878
Compatibility:
Android 5.0
Bundle Id:
org.naturaldeduction.android_naturaldeduction
Size:
Varies With Device
Last Update:
2021-12-30
Content Rating:
Everyone
Release Date:
Dec 30, 2021
Content Rating:
Everyone
Developer:
Jukka Hkkinen
Developer Apps
Related Apps
Natural Deduction for Android
Latest Apps & Games
