Screenshots:
Minimum
Betriebssystem
Architekturx86,x64,ARM,ARM64
Empfohlen
Betriebssystem
Architekturx86,x64,ARM,ARM64
Beschreibung
Proof generator and proof checker for propositional logic in "natural deduction" style.
Anderen gefällt auch
reviews
Artikel
Über NaturalDeduction
Advertisement
Top-Downloads
- 1
Duolingo - Language Lessons
Kostenlos - 2
Fahren Lernen
Kostenlos - 3
Minecraft Education
Kostenlos - 4
Scratch 3
Kostenlos - 5
Translatium - Übersetzer
Kostenlos - 6
Klett Lernen
Kostenlos
Populäre Apps
- 1
File Content Explorer Light
Kostenlos - 2
Email Converter & Migration
Kostenlos - 3
Game Bar Calculator
Kostenlos - 4
Sony Remote Control
Kostenlos - 5
MediaSync Pro
Kostenlos - 6
Remote Toolbox
Kostenlos
Apps mit besten Kritiken
- 1
Duolingo - Language Lessons
Kostenlos - 2
Fahren Lernen
Kostenlos - 3
Minecraft Education
Kostenlos - 4
Scratch 3
Kostenlos - 5
Translatium - Übersetzer
Kostenlos - 6
Klett Lernen
Kostenlos
Spiele mit besten Kritiken
- 1
Hidden City: Wimmelbildabenteuer
Kostenlos - 2
Sherlock: Wimmelbildspiele und Detektiv 3-Gewinnt
Kostenlos - 3
Roger That: Match und Merge Spiele
Kostenlos - 4
Seekers Notes: Wimmelbildspiel
Kostenlos - 5
Bermuda Adventures Farm Spiele
Kostenlos - 6
Angry Birds 2
Kostenlos