An Interface between Clam and HOL.

Richard J. Boulton Konrad Slind Alan Bundy Michael J. C. Gordon

Published in: TPHOLs (1998)

Keyphrases

theorem proving
user interface
formal methods
friendly interface
user friendly
theorem prover
artificial intelligence
graphical interface
data sets
neural network
inference rules
natural language interface
cross platform
direct manipulation
novice users
higher order logic