b
Discover
Models
Search
About
Recycling Proof Patterns in Coq: Case Studies
2013
·
arXiv