Matching Concepts across HOL Libraries

Thibault Gauthier and Cezary Kaliszyk
Proceedings of the 7th Conference on Intelligent Computer Mathematics (CICM 2014), Lecture Notes in Computer Science 8543, pp. 267 – 281, 2014.

abstract   BibTeX   PDF   doi:10.1007/978-3-319-08434-3_20  
© Springer International Publishing Switzerland