Jon Barwise
-
Capturing hiproofs in HOL light
CICM'13 Proceedings of the 2013 international conference on Intelligent Computer Mathematics