Search
Now showing items 1-1 of 1
Proof Editor for Natural Deduction
(2021-09-14)
In this thesis, we present Logan, a proof editor for constructing Fitch-style proofs
in first-order logic. This proof editor is intended to be used by students who are
taking a course in logic. Compared to other available ...