package hol_light

  1. Overview
  2. Docs
The HOL-Light interactive theorem prover

Install 

dune-project
 Dependency

hol-light.github.io Edit opam file Versions (2)

Authors

  1. H
    HOL Light

Maintainers

  1. J
    John Harrison <jrh013@gmail.com>
  2. J
    Juneyoung Lee <aqjune@gmail.com>

Sources

Release-3.1.0.tar.gz
md5=00ff3680c6651158795388280a28b906
sha512=0cdf9753c2cbcdbbad34f6df42490ca03324819ad78b1f5cb3d7fe24ec364c07bd7a656ce7bde3adf281f1074052e217fa77853097da4125865c64ad74335f53

doc/index.html

hol_light