/CS-F214-Assignment2

A simple tool for verifying whether a certain proof of a given sequent is valid or not

Primary LanguageCMIT LicenseMIT

No issues in this repository yet.