Coq: the world's best macro assembler?

Andrew Kennedy Nick Benton Jonas Braband Jensen Pierre-Évariste Dagand

Published in: PPDP (2013)

Keyphrases

world model
image processing
theorem prover
real time
data mining
machine learning
website
three dimensional
preprocessing
multiresolution
probability distribution