Steps towards Verified Implementations of HOL Light.

Magnus O. Myreen Scott Owens Ramana Kumar

Published in: ITP (2013)

Keyphrases

efficient implementation
database
machine learning
theorem prover
theorem proving
light scattering
data sets
databases
feature selection
case study
expert systems
formal methods
natural deduction
higher order logic