/HOL-Light-Q

A module like the Q-module of HOL4, but for HOL Light.

Primary LanguageOCaml

HOL-Light-Q

A module like the Q-module of HOL4, but for HOL Light.