Skip to main content
MathOverflow

Return to Question

edited tags
Link
François G. Dorais
François G. Dorais
  • 44.4k
  • 6
  • 150
  • 233
deleted 86 characters in body
Source Link
Rex Butler
Rex Butler
  • 437
  • 2
  • 10

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]]

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]

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.]

Source Link
Rex Butler
Rex Butler
  • 437
  • 2
  • 10

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]