Screenshot:
Minimo
Sistema operativo
Architetturax86,x64,ARM,ARM64
Consigliati
Sistema operativo
Architetturax86,x64,ARM,ARM64
Descrizione
Proof generator and proof checker for propositional logic in "natural deduction" style.
Alle altre persone piacciono anche
valutazioni
Articoli
su NaturalDeduction
Advertisement
download migliori
- 1
Minecraft Education
Gratis - 2
Scratch 3
Gratis - 3
Duolingo - Language Lessons
Gratis - 4
Quiz Patente 2017 + Manuale
Gratis - 5
Translatium - Traduttore
Gratis - 6
ExamShield
Gratis
App di tendenza
- 1
Accomplished
Gratis - 2
ZMI Mobile Router
Gratis - 3
Docs - Document Editor
Gratis - 4
Cuety
Gratis - 5
E-juice Calc
Gratis - 6
Sunny Output Light
Gratis
App con il voto migliore
- 1
Minecraft Education
Gratis - 2
Scratch 3
Gratis - 3
Duolingo - Language Lessons
Gratis - 4
Quiz Patente 2017 + Manuale
Gratis - 5
Translatium - Traduttore
Gratis - 6
ExamShield
Gratis
Giochi con il voto migliore
- 1
Microsoft Flight Simulator Standard 40th Anniversary Edition
Gratis - 2
Football Manager 2024
Gratis - 3
Microsoft Flight Simulator Premium Deluxe 40th Anniversary Edition
Gratis - 4
Farming Simulator 22 PC
Gratis - 5
Microsoft Flight Simulator Deluxe 40th Anniversary Edition
Gratis - 6
Cities: Skylines II - PC Edition
Gratis