HOL Light: An overview (0)

by J Harrison
Venue:In TPHOLs 2009, LNCS 5674