A comparative study of Coq and HOL (1997)

by Vincent Zammit
Venue:In Proceedings of the 10th International Conference on Theorem Proving in Higher Order Logics, Lecture Notes in Computer Science