What’s in a Theorem Name?

David Aspinall and Cezary Kaliszyk
Proceedings of the 7th Interactive Theorem Proving (ITP 2016), Lecture Notes in Computer Science 9807, pp. 459 – 465, 2016.

abstract   BibTeX   PDF   doi:10.1007/978-3-319-43144-4_28  
© Springer International Publishing Switzerland