/Eqthy

A simple formalized language for equational proofs

Primary LanguagePython

No issues in this repository yet.