MIRROR of https://codeberg.org/catseye/Eqthy : A simple formalized language for equational proofs
Home Page:https://catseye.tc/node/Eqthy
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool