Proofs as Executions.

Emmanuel Beffara Virgile Mogbil

Published in: IFIP TCS (2012)

Keyphrases

theorem prover
theorem proving
equational theories
formal proofs
real time
mathematical proofs
formal proof
neural network
natural deduction
case study
database transactions
multimedia
information systems
social networks
automated theorem provers
machine learning
interactive theorem proving