Natural Deduction System in the TIL-Script Language.

Marie Duz, Marek Mensk, Miroslav Pajr, Vojtech Patschka

Browse the full EJC paper archive.