Képernyőképek:
Minimális
Operációs rendszer
Architektúrax86,x64,ARM,ARM64
Ajánlott
Operációs rendszer
Architektúrax86,x64,ARM,ARM64
Ismertető
Proof generator and proof checker for propositional logic in "natural deduction" style.
A vásárlók további kedvencei
vélemények
cikk
kb. NaturalDeduction
Advertisement
Suosituimmat
- 1
Duolingo - Language Lessons
Ingyenes - 2
Minecraft Education
Ingyenes - 3
Matific
Ingyenes - 4
Minecraft Education Preview
Ingyenes - 5
Kahoot! Create
Ingyenes - 6
SPIKE™ LEGO® Education
Ingyenes
Népszerű alkalmazások
- 1
Tube Audio Downloader - Mp4 Webm
Ingyenes - 2
Tick-Tock
Ingyenes - 3
One Downloader
Ingyenes - 4
Sigma File Manager
Ingyenes - 5
Screen Recorder - Screenshots and Video Recorder
Ingyenes - 6
Andante Metronome
Ingyenes
Legjobb értékelésű alkalmazások
- 1
Duolingo - Language Lessons
Ingyenes - 2
Minecraft Education
Ingyenes - 3
Matific
Ingyenes - 4
Minecraft Education Preview
Ingyenes - 5
Kahoot! Create
Ingyenes - 6
SPIKE™ LEGO® Education
Ingyenes
Legjobb értékelésű játékok
- 1
Sherlock: Detective Hidden Object & Match 3 Game
Ingyenes - 2
Slots - House of Fun
Ingyenes - 3
Eternium
Ingyenes - 4
Angry Birds Friends
Ingyenes - 5
Minecraft Launcher
Ingyenes - 6
Bermuda Adventures: Farm Games
Ingyenes