Näyttökuvat:
Vähintään
Käyttöjärjestelmä
Arkkitehtuurix86,x64,ARM,ARM64
Suositus
Käyttöjärjestelmä
Arkkitehtuurix86,x64,ARM,ARM64
Kuvaus
Proof generator and proof checker for propositional logic in "natural deduction" style.
Muita käyttäjien suosikkeja
Arvostelut
tavarat
noin NaturalDeduction
Advertisement
Suosituimmat
- 1
Minecraft Education
Ilmainen - 2
Duolingo - Language Lessons
Ilmainen - 3
Minecraft Education Preview
Ilmainen - 4
Kahoot! Create
Ilmainen - 5
Scratch 3
Ilmainen - 6
VitalSource Bookshelf
Ilmainen
Suositut sovellukset
- 1
Hotkeys Manager ͏
3.99 - 2
All of Yoga
2.99 - 3
Font Metrics
Ilmainen - 4
WiFi Console by Ambeent
Ilmainen - 5
Gizmo
Ilmainen - 6
Auto Clicker: Repeat
Ilmainen
Parhaiksi arvioidut sovellukset
- 1
Minecraft Education
Ilmainen - 2
Duolingo - Language Lessons
Ilmainen - 3
Minecraft Education Preview
Ilmainen - 4
Kahoot! Create
Ilmainen - 5
Scratch 3
Ilmainen - 6
VitalSource Bookshelf
Ilmainen
Parhaiksi arvioidut pelit
- 1
Minecraft Launcher
Ilmainen - 2
Roblox
Ilmainen - 3
Bermuda Adventures: Maatila
Ilmainen - 4
Pixel Worlds
Ilmainen - 5
Hidden City: Hidden Object Adventure
Ilmainen - 6
Angry Birds 2
Ilmainen