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.0.0.tar.gz
md5=6b7ece405efe5d891f547042d102f9ee
sha512=ffedba9a96cd0058a1ec74825c25b22f5b29117c2e7378715c5f8efc576e6008576b0649395e8f5fab8575f7f81f8816fb19a57c81413bc0d9e7d0c49b8a4c99

doc/index.html

hol_light