NaturalDeduction screenshot 1
Supported Devices
PC,Hub
Updated
May 15,2019
Size
19.07 MB
Age
Everyone
Release Date
Description
Proof generator and proof checker for propositional logic in "natural deduction" style.