OKlibrary  0.2.1.6
OKlib::Equivalences Namespace Reference

Active clause-sets for equivalence reasoning. More...


Detailed Description

Active clause-sets for equivalence reasoning.