miguelpagano / yahc Goto Github PK
View Code? Open in Web Editor NEWyahc is a checker for derivations of propositional calculus. Its main goal is to help first year students.
Home Page: https://cs.famaf.unc.edu.ar/~mpagano/yahc/
License: GNU General Public License v3.0