A Proof Editor for Sequent Calculus
Name
Dmitri Gabbasov
Abstract
In the University of Tartu, sequent calculus tasks are solved using a program written in 1993 by Rein Prank. Unfortunately the program is fairly old by now, and using it can be quite cumbersome. We create a new web-based application, that allows constructing sequent calculus proofs in tutorial lessons as well as homeworks and also facilitates conducting tests.
Graduation Thesis language
Estonian
Graduation Thesis type
Bachelor - Computer Science
Supervisor(s)
Rein Prank
Defence year
2014