Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists tagged with equational-theory
A curated list of projects in awesome lists tagged with equational-theory .
https://github.com/catseye/eqthy
MIRROR of https://codeberg.org/catseye/Eqthy : A simple formalized language for equational proofs
equational-logic equational-theory proof-checker proof-checking proof-language
Last synced: 15 Nov 2024
