Giters

maggesi / hol-light-docker

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

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

dmtcpdockerholinfrastructurelogic

hol-light-docker

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

About

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

dmtcpdockerholinfrastructurelogic

License:BSD 3-Clause "New" or "Revised" License

Languages

Language:Dockerfile 92.1%Language:Shell 7.9%