Free
Overview System Requirements Related

Description

Proof generator and proof checker for propositional logic in "natural deduction" style.

Screenshots

Additional information

Published by

Jukka Häkkinen

Copyright

Jukka Häkkinen

Release date

06/01/2017

Approximate size

30.9 MB

Age rating

For ages 3 and over


This app can

Close themselves and their own windows, and delay the closing of their app
Access your Internet connection

Installation

Get this app while signed in to your Microsoft account and install on up to ten Windows 10 devices.

This product needs to be installed on your internal hard drive.

Language supported

English (United States)


Additional terms

Terms of transaction

Report this product

Sign in to report this app to Microsoft