package hol_light_module

You can search for identifiers within the package.

in-package search v0.2.0

A flag for compiling HOL Light core to a bytecode and native module

Install

Dune Dependency

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

Authors

H

HOL Light

Maintainers

Sources

md5=232eeb03c8fa6f4f7d076943ad652582

sha512=ec0ae802a6977366b26e0438670579cf3a3d329d3600ae5e2493a01867259d74bc3a09d7f27efd31ef96b6385fdce089aa06fb04611db2077f37aa9d66ce0cfe

doc/index.html

hol_light_module