Capturing Hiproofs in HOL Light.

Steven Obua Mark Adams David Aspinall

Published in: MKM/Calculemus/DML (2013)

Keyphrases

theorem prover
theorem proving
real time
expert systems
formal methods
genetic algorithm
decision trees
pairwise
artificial neural networks
natural deduction
transparent objects