escapin/CongruentClosureAlgorithm
A theorem prover, based on the Congruence Closure Algorithm, in order to check the validity of formulae written in Equality and List Theory (SMT)
Public GitHub Catalog
Discovered Sep 25, 2026
escapin / givenClauseLoop
A theorem prover, based on the "Given Clause Loop" method, in order to assert if a sequent is valid or not
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#3027269GitHub System ID
escapinOrganization / User
PublicVisibility
ActiveCatalog Status