A graphical interactive proof assistant designed for education. My contributions: applying rules by elimination, proofs by induction, proofs by cases, multi-axiom element and misc css styling. Honours report grade: 76% :tada:
Primary LanguageHaskellBSD 3-Clause "New" or "Revised" LicenseBSD-3-Clause
No issues in this repository yet.