Real theorem provers deserve real user-interfaces.

Laurent Théry Yves Bertot Gilles Kahn

Published in: SDE (1992)

Keyphrases

theorem prover
real life
user interface
neural network
artificial intelligence
user interaction
theorem proving
automated reasoning