Candle: A Verified Implementation of HOL Light.

Oskar Abrahamsson Magnus O. Myreen Ramana Kumar Thomas Sewell

Published in: ITP (2022)

Keyphrases

image segmentation
wide range
theorem prover
real time
real world
relational databases
special case
formal methods