3 edited tags
2 deleted 86 characters in body

Is there an software package aimed at verfication of simple equational proofs?

I am hoping to avoid the usual overhead involved with First Order Logic or Higher Order Logic verification systems.

[Apologies for the 'software question', but formal verification usually involves this. :) References to papers that might point me in the right direction would of course be appreciated. Also, a Google search mainly turns up software for solving freshman algebra problemsappreciated.]

1

# Formal verification of simple equational proofs (as in Universal Algebra...)?

Is there an software package aimed at verfication of simple equational proofs?

I am hoping to avoid the usual overhead involved with First Order Logic or Higher Order Logic verification systems.

[Apologies for the 'software question', but formal verification usually involves this. :) References to papers that might point me in the right direction would of course be appreciated. Also, a Google search mainly turns up software for solving freshman algebra problems]