There are 0 repository under equational-logic topic.
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.
The Agda Universal Algebra Library (html docs available at the url below)