Deducteam/coq-hol-light

HOL-Light library in Coq

CoqNOASSERTION