Recycling Proof Patterns in Coq: Case Studies.

Jónathan Heras Ekaterina Komendantskaya

Published in: Math. Comput. Sci. (2014)

Keyphrases

case study
theorem prover
real world
open source
pattern mining
lessons learned
pattern discovery
theorem proving
design process
previously unknown
mathematical proofs
real time
spatial patterns
emerging patterns
design patterns
multiscale
databases