Homotopy limits in Coq

Jeremy Avigad Krzysztof Kapulkin Peter LeFanu Lumsdaine

Published in: CoRR (2013)

Keyphrases

formal methods
theorem prover
fixed point
high quality
image segmentation
dynamic programming
object oriented
knowledge base
building blocks
software systems
inference rules
knowledge based systems