Natural Deduction Evaluator

Developer: Alen Dervišević

Category: Education

Add App to Comparison

74 installs

Ratings not yet available

74 monthly active users

Revenue not available

Install Trends

Weekly +74

Steady

Monthly +74

Steady

Natural Deduction Evaluator Summary

Natural Deduction Evaluator is a mobile Android app in Education by Alen Dervišević. Released in Apr 2025 (10 months ago). It has about 74+ installs Based on AppGoblin estimates, it reaches roughly 74 monthly active users . Store metadata: updated Apr 14, 2025.

Recent activity: 74 installs this week (74 over 4 weeks) View trends →

Store info: Last updated on Google Play on Apr 14, 2025 .

SDKs, Trackers & Permissions

App not yet scanned for SDKs.

App Details

Store ID: alend.naturaldeductionapp

First Released: 2025-04-14

Store Last Updated: 2025-04-14

In-App Purchases: No

Ads: No

App Store

Crawl Status: Success

AppGoblin First Crawled: 2026-02-18

AppGoblin Last Crawled: 2026-02-28

Ads & App-Ads.txt

App does not have ads.

AppGoblin SDK Scans

App not yet analyzed for SDKs.

The download and scan process is automated but can require manual troubleshooting. Feel free to reach out if your request does not complete in 24hrs or if you have any questions.

0.91★

Ratings: 0

5★

4★

3★

2★

1★

Screenshots

App Description

Stores and evaluates natural deduction proofs

This app is an educational tool to help users learn logical natural deduction.

Users can create and store any number of distinct natural deduction proofs and edit them freely. The proofs are automatically evaluated by the app. The evaluations provide feedback on each individual step of the proof - whether a proposition is incorrectly formulated, correctly derived, incorrectly derived etc.

The app contains a list of derivation rules which can be used in proofs.

Users can swap between the Croatian and English version of the app.