Sharing HOL4 and HOL light proof knowledge. In (2015)

by Thibault Gauthier, Cezary Kaliszyk
Venue:Logic for Programming, Artificial Intelligence, and Reasoning -20th International Conference, LPAR-20 2015,