Mining the archive of formal proofs (0)

by Jasmin C Blanchette, Maximilian Haslbeck, Daniel Matichuk, Tobias Nipkow
Venue:Intelligent Computer Mathematics - International Conference, CICM 2015