/congruence-closure-isabelle

Bachelor thesis about the verification in Isabelle/HOL of the Congruence Closure Algorithm.

Primary LanguageIsabelle

Watchers

No one’s watching this repository yet.