Essays about: "Lo Ranta"

Found 1 essay containing the words Lo Ranta.

  1. 1. Proof Editor for Natural Deduction

    University essay from Göteborgs universitet/Institutionen för data- och informationsteknik

    Author : FREDDY ABRAHAMSSON; THERESE ANDERSSON; AXEL FORSMAN; LO RANTA; MICHAEL ÅKESSON; [2021-09-14]
    Keywords : Proof editor; Natural deduction; First order logic; PureScript;

    Abstract : 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