Снимки экрана:
Минимальные
ОС
Архитектураx86,x64,ARM,ARM64
Рекомендованные
ОС
Архитектураx86,x64,ARM,ARM64
Описание
Proof generator and proof checker for propositional logic in "natural deduction" style.
Другим нравится
отзывы
статия
относно NaturalDeduction
Advertisement
най-добрите изтегляния
- 1
Duolingo - Language Lessons
Бесплатно - 2
Minecraft Education Preview
Бесплатно - 3
Scratch 3
Бесплатно - 4
Translatium - Переводчик
Бесплатно - 5
ПДД и билеты Россия
Бесплатно - 6
Хороший план
Бесплатно
Популярные приложения
- 1
PoseCam
Бесплатно - 2
Speech Text and File Translator
Бесплатно - 3
Bell Ringer
Бесплатно - 4
Import Contact
Бесплатно - 5
Super-Fast Browser
Бесплатно - 6
RingFree Softphone
Бесплатно
Лучшие приложения
- 1
Duolingo - Language Lessons
Бесплатно - 2
Minecraft Education Preview
Бесплатно - 3
Scratch 3
Бесплатно - 4
Translatium - Переводчик
Бесплатно - 5
ПДД и билеты Россия
Бесплатно - 6
Хороший план
Бесплатно
Лучшие игры
- 1
Записки Искателя Seekers Notes
Бесплатно - 2
Sherlock: Поиск и головоломки
Бесплатно - 3
The Secret Society - Тайное общество
Бесплатно - 4
Bermuda Adventures: ферма
Бесплатно - 5
Roblox
Бесплатно - 6
War of Tanks: Танки, PvP битва, Гонка вооружений
Бесплатно