Natural Deduction app icon

Natural Deduction

Laurent Théry · org.inria.peanoware

Not rated yet 1K+ downloads v1.5 1.1 MB Android 2.2+ PEGI 3 · Everyone

Download APK 1.1 MB All versions

At a glance

Latest version
v1.5 (6)
Updated
Jun 29, 2020 (6 years ago)
APK size
1.1 MB
Requires
Android 2.2+ (API 8)
CPU support
Any (no native code)
Category
Education (app)
Website
www-sop.inria.fr/marelle/Laurent.Thery/me.html
Developer contact
[email protected]

About this APK

Natural Deduction is an app by Laurent Théry in the Education category. It has no native code, so it runs on any Android processor.

What's new in v1.5

Better display

Description

From the listing uploaded by “split-store”.

Play with this app and build some proofs in natural deduction style. Clicking on a formula automatically expands it with possible rules. Assumptions are printed in blue. Selected one of them generates a new subtree. Attaching two trees is done by dragging the root of the first one to the leaf of the second one. If there only one possibility, this attachment is performed automatically. The proof is done when the tree is surrounded by a red rectangle. Have fun! Logic is fun

Security & authenticity

Security rating: Trusted

Signing certificate

  • Certificate issued to “INRIA” The developer's name — though anyone can put any name in a certificate.

Store checks and file details

  • Developer signature verified Nov 9, 2020
  • Antivirus scan passed Sep 16, 2020
  • Signed byCN=Laurent THERY, O=INRIA, C=33
  • Signing certificate (SHA-1)47:F7:D3:53:80:25:D8:14:7A:E6:61:88:5E:94:02:7F:84:18:95:54
  • File MD5b7b485872b794311cd7d14ba416c3b3c
  • Uploaded by “split-store” Gold tier · 24,358 followers · uploading since 2019

Scans and ratings come from the source store; the certificate comparisons are AAPKs's own, made from the files' published signatures. AAPKs doesn't scan files itself — compare the MD5 and signer after downloading.

Required hardware & features

Natural Deduction APK: questions and answers

Can I install this APK over the version I already have?

Only if it is signed with the same certificate as the copy on your phone and isn't an older version. If Android says “App not installed”, the certificates differ; uninstalling your copy first works but deletes its data unless it is backed up.

Is the Natural Deduction APK safe?

No one can promise that a file is safe, but some things can be checked. The source store rates this file Trusted. After downloading, check that the file's MD5 is b7b485872b794311cd7d14ba416c3b3c.

Tags

inria peanoware education

More Education apps