Overview
Proof generator and proof checker for propositional logic in "natural deduction" style.
Features
Generates proofs for truth-functional and modal logic S5 in natural deduction style. Checks proofs that you yourself build. Saves your proofs on your device.
Additional Information
- Developed by Jukka Häkkinen
- Version 2022.03.12
-
Requires
Available on: PC, Surface Hub
OS: Windows 10 version 17134.0 or higher
Keyboard: Not specified
Mouse: Not specified
- Published 2017-01-06
- Size 23.82 MB
- File Type appx/msix
-
Language
English (United States)
-
Permissions
Close themselves and their own windows, and delay the closing of their app
Access your Internet connection
- Microsoft Store ID 9ndb7hz5pfm0
Advertisement