Capturas de pantalla:
Mínimo
SO
Arquitecturax86,x64,ARM,ARM64
Recomendaciones
SO
Arquitecturax86,x64,ARM,ARM64
Descripción
Proof generator and proof checker for propositional logic in "natural deduction" style.
A la gente también le gustó
Opiniones
Artículo
sobre NaturalDeduction
Advertisement
Top Descargas
- 1
Minecraft Education
Gratuito - 2
Studienet.dk
Gratuito - 3
Duolingo–aprende idiomas
Gratuito - 4
Fable Blockly
Gratuito - 5
VitalSource Bookshelf
Gratuito - 6
WeDo 2.0 LEGO® Education
Gratuito
Tendencias en aplicaciones
- 1
QRCode Helper
Gratuito - 2
AtomicClock • NTP Time
Gratuito - 3
Advanced Installer Express
Gratuito - 4
iPhoto Transfer
10 - 5
Focus X2
Gratuito - 6
AtWin
Gratuito
Aplicaciones mejor valoradas
- 1
Minecraft Education
Gratuito - 2
Studienet.dk
Gratuito - 3
Duolingo–aprende idiomas
Gratuito - 4
Fable Blockly
Gratuito - 5
VitalSource Bookshelf
Gratuito - 6
WeDo 2.0 LEGO® Education
Gratuito
Juegos mejor valorados
- 1
Minecraft Launcher
Gratuito - 2
Angry Birds 2
Gratuito - 3
Roblox
Gratuito - 4
Hidden City: Aventura de objetos ocultos
Gratuito - 5
Sherlock: Juego de objectos ocultos
Gratuito - 6
Roger That: juegos de merge! Aventuras en la isla
Gratuito