MIRROR of https://codeberg.org/catseye/Eqthy : A simple formalized language for equational proofs - View it on GitHub