Екранни снимки:
Минимални
ОС
Архитектураx86,x64,ARM,ARM64
Препоръчителни
ОС
Архитектураx86,x64,ARM,ARM64
Описание
Proof generator and proof checker for propositional logic in "natural deduction" style.
Хората харесват също
рецензии
членове
за NaturalDeduction
Advertisement
Top изтегляне
- 1
Minecraft Education
Безплатно - 2
Duolingo - Language Lessons
Безплатно - 3
Translatium - Translator
Безплатно - 4
Английско-Български речник
Безплатно - 5
Cboard AAC app
Безплатно - 6
Scratch 3
Безплатно
Популярни отскоро приложения
- 1
Battery Smart Charger
Безплатно - 2
Microsoft Sticky Notes
Безплатно - 3
Hard Disk Sentinel Professional
Безплатно - 4
Express Burn CD and DVD Burner
Безплатно - 5
Daily Express Deal
Безплатно - 6
CamaC
Безплатно
Топ оценени приложения
- 1
Minecraft Education
Безплатно - 2
Duolingo - Language Lessons
Безплатно - 3
Translatium - Translator
Безплатно - 4
Английско-Български речник
Безплатно - 5
Cboard AAC app
Безплатно - 6
Scratch 3
Безплатно
Топ оценени игри
- 1
Hidden City: Hidden Object Adventure
Безплатно - 2
Bermuda Adventures: Farm Games
Безплатно - 3
Sherlock: Detective Hidden Object & Match 3 Game
Безплатно - 4
Seekers Notes: Hidden Objects
Безплатно - 5
Roger That: Merge Adventure Games!
Безплатно - 6
The Secret Society - Hidden Object Mystery Game
Безплатно