Certification of Confluence Proofs using CeTA.

Julian Nagele René Thiemann

Published in: CoRR (2015)

Keyphrases

theorem prover
theorem proving
mathematical proofs
third party
rewrite systems
formal proofs
formal proof
interactive theorem proving
neural network
object oriented
equational theories
software engineering practices