catseye/Eqthy

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

Language: Python - Size: 104 KB - Last synced at: about 1 month ago - Pushed at: over 1 year ago - Stars: 4 - Forks: 1