MIRROR of https://codeberg.org/catseye/Eqthy : A simple formalized language for equational proofs
-
Updated
Nov 10, 2023 - Python
MIRROR of https://codeberg.org/catseye/Eqthy : A simple formalized language for equational proofs
The Agda Universal Algebra Library (html docs available at the url below)
In this repository you can find all of my assignments for Formal Specification and Verification of Programs Course when I was in 1st semester of my master's at SUT.
Add a description, image, and links to the equational-logic topic page so that developers can more easily learn about it.
To associate your repository with the equational-logic topic, visit your repo's landing page and select "manage topics."