MIRROR of https://codeberg.org/catseye/Eqthy : A simple formalized language for equational proofs
Primary LanguagePython