Source Package eqp

Builds
Updates
Bugs
Sources
Crash Reports
Koschei

Subpackages

eqp - Automated theorem prover for first-order equational logic

Sources on Pagure