Encoding the HOL Light logic (2007)

by F Wiedijk
Venue:in Coq. Unpublished notes