Proof by Pointing.

Yves Bertot Gilles Kahn Laurent Théry

Published in: TACS (1994)

Keyphrases

theorem prover
theorem proving
database
databases
special case
logical rules
real time
learning algorithm
linear logic
formal proof