equational-logic

There are 0 repository under equational-logic topic.

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
Language:Python 4
williamdemeo / agda-algebras
The Agda Universal Algebra Library (html docs available at the url below)
universal-algebra dependent-type-theory agda agda-library model-theory equational-logic
Language:Agda 1
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.
equational-logic equational-reasoning first-order-logic formal-methods formal-specification formal-verification logic proof-systems z z-notation z-notations
Language:TeX 0

catseye / Eqthy