Modules in Coq Are and Will Be Correct.

Jacek Chrzaszcz

Published in: TYPES (2003)

Keyphrases

modular structure
building blocks
artificial intelligence
objective function
preprocessing
theorem prover
formal methods
short list