Repository navigation

hol-light-docker

Public

About

Scripts for deploying HOL Light with Docker (and optional checkpointing)

dmtcp docker hol infrastructure logic

BSD-3-Clause license

1 star

2 watching

Report repository

Name		Name	Last commit message	Last commit date
hol-light-base		hol-light-base
hol-light-core		hol-light-core
scripts		scripts
LICENSE		LICENSE
README.md		README.md
USAGE.md		USAGE.md

Repository files navigation

hol-light-docker

Scripts for HOL Light (installation, deployment, checkpointing) on Docker.

About

Scripts for deploying HOL Light with Docker (and optional checkpointing)

dmtcp docker hol infrastructure logic

BSD-3-Clause license

1 star

2 watching

Report repository

Releases

Packages

Contributors

Languages