Capturing Hiproofs in HOL Light.

Steven Obua Mark Adams David Aspinall

Published in: CoRR (2013)

Keyphrases

theorem prover
viewpoint
light scattering
neural network
digital libraries
natural deduction
data mining
bayesian networks
higher order
theorem proving
liquid crystal