A comparative study of Coq and HOL (1997)

by V Zammit
Venue:Lecture Notes in Computer Science