Essays about: "Axel Forsman"
Found 1 essay containing the words Axel Forsman.
-
1. Proof Editor for Natural Deduction
University essay from Göteborgs universitet/Institutionen för data- och informationsteknikAbstract : 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. READ MORE
Result pages:
1