equational-logic
There are 3 repositories under equational-logic topic.
catseye/Eqthy
MIRROR of https://codeberg.org/catseye/Eqthy : A simple formalized language for equational proofs
joulook/Formal-Specification-and-Verification-of-Programs-Fall-2020
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.
williamdemeo/agda-algebras
The Agda Universal Algebra Library (html docs available at the url below)