Name: NaturalDeduction - Free download and install on Windows | Microsoft Store
Rating: 4 (4 reviews)
Author: Jukka Häkkinen

Jukka Häkkinen

Education

Free

Proof generator and proof checker for propositional logic in "natural deduction" style.

3/12/2022 7:29:58 PM