An implementation of higher-order logic (HOL) in F#. Based on hol-light, Isabelle, and HOL4.
Primary LanguageF#Apache License 2.0Apache-2.0