Snímky obrazovky:
Minimum
OS
Architekturax86,x64,ARM,ARM64
Doporučené
OS
Architekturax86,x64,ARM,ARM64
Popis
Proof generator and proof checker for propositional logic in "natural deduction" style.
Lidem se také líbí
Hodnocení
čl.
O NaturalDeduction
Advertisement
Oblíbené Stáhnout
- 1
Minecraft Education
Zdarma - 2
Duolingo - Language Lessons
Zdarma - 3
Sphero Edu
Zdarma - 4
Ylands EDU
Zdarma - 5
SPIKE™ LEGO® Education
Zdarma - 6
InspIS SETmobile
Zdarma
Nové a populární
- 1
Password App
Zdarma - 2
4-Organizer Ultra: AI-Powered Care
Zdarma - 3
Client for Email Services PRO
Zdarma - 4
Screen Capture Saver
Zdarma - 5
QR Reader - T.A.P. Tag Tech
Zdarma - 6
AcrobatX PDF Editor for Windows 11
Zdarma
Nejlépe hodnocené aplikace
- 1
Minecraft Education
Zdarma - 2
Duolingo - Language Lessons
Zdarma - 3
Sphero Edu
Zdarma - 4
Ylands EDU
Zdarma - 5
SPIKE™ LEGO® Education
Zdarma - 6
InspIS SETmobile
Zdarma
Nejlépe hodnocené Hry
- 1
Angry Birds Friends
Zdarma - 2
Roger That: Merge Adventure Games!
Zdarma - 3
Minecraft Launcher
Zdarma - 4
Hidden City: Hidden Object Adventure
Zdarma - 5
Seekers Notes: Hidden Objects
Zdarma - 6
Bermuda Adventures: Farm Games
Zdarma