Advanced search
Found 2 essays matching the above criteria.
-
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
-
2. Functional Programming and Legacy Software Using PureScript to Extend a Legacy JavaScript System
University essay from Umeå universitet/Institutionen för datavetenskapAbstract : Legacy systems are everywhere. Immense resources are placed on fixing problems caused by them, and on legacy system maintenance and reverse engineering. After decades of research, a solution has yet to be found. READ MORE
Result pages:
1