2 search results for "author:"HOL Light""

Showing 1 - 2
  1. hol_light
    Documentation
    The HOL-Light interactive theorem prover
    HOL Light
    3.1.0
    https://github.com/jrh13/hol-light/blob/master/LICENSE
    Used by 0 other packages
    Added to opam-repository
  2. hol_light_module
    Documentation
    A flag for compiling HOL Light core to a bytecode and native module
    HOL Light
    1.0
    https://github.com/jrh13/hol-light/blob/master/LICENSE
    Used by 0 other packages
    Added to opam-repository