Free
Overview System Requirements Reviews 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

1/6/2017

Approximate size

19.07 MB

Age rating

For all ages


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