HOL Light: An overview (2009)

by John Harrison