equational-theory

There are 0 repository under equational-theory topic.

• catseye / Eqthy

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

  equational-logicequational-theoryproof-checkerproof-checkingproof-language
  Language:Python 4