@inproceedings{blanchette:hal-01212594, TITLE = {{Mining the Archive of Formal Proofs}}, AUTHOR = {Blanchette, Jasmin Christian and Haslbeck, Maximilian and Matichuk, Daniel and Nipkow, Tobias}, URL = {https://inria.hal.science/hal-01212594}, BOOKTITLE = {{CICM 2015}}, ADDRESS = {Washington DC, United States}, SERIES = {Intelligent Computer Mathematics - International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings}, YEAR = {2015}, MONTH = Jul, DOI = {10.1007/978-3-319-20615-8\_1}, PDF = {https://inria.hal.science/hal-01212594/file/paper.pdf}, HAL_ID = {hal-01212594}, HAL_VERSION = {v1}, }