Skærmbilleder:
Minimum
Operativsystem
Arkitekturx86,x64,ARM,ARM64
Anbefalet
Operativsystem
Arkitekturx86,x64,ARM,ARM64
Beskrivelse
Proof generator and proof checker for propositional logic in "natural deduction" style.
Personer synes også om
anmeldelser
Artikel
om NaturalDeduction
Advertisement
Top downloads
- 1
Minecraft Education
Gratis - 2
Studienet.dk
Gratis - 3
Duolingo - Language Lessons
Gratis - 4
Fable Blockly
Gratis - 5
VitalSource Bookshelf
Gratis - 6
WeDo 2.0 LEGO® Education
Gratis
Mest populære apps
- 1
KONICA MINOLTA Print Experience
Gratis - 2
Virtual Person Info - Random Generator
Gratis - 3
HuntLurker
Gratis - 4
Spin 3D Mesh
Gratis - 5
Généatique 2022 Classique 500
284 - 6
Sigma File Manager
Gratis
Bedst bedømte apps
- 1
Minecraft Education
Gratis - 2
Studienet.dk
Gratis - 3
Duolingo - Language Lessons
Gratis - 4
Fable Blockly
Gratis - 5
VitalSource Bookshelf
Gratis - 6
WeDo 2.0 LEGO® Education
Gratis
Bedst bedømte spil
- 1
Minecraft Launcher
Gratis - 2
Roblox
Gratis - 3
Angry Birds 2
Gratis - 4
Hidden City: Hidden Object Adventure
Gratis - 5
Sherlock: Detective Hidden Object & Match 3 Game
Gratis - 6
Roger That: Merge Adventure Games!
Gratis