Giters

maggesi / hol-light-devcontainer

Devcontainer with OCaml and other software preinstalled to run HOL Light.

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

hol-light-devcontainer

Devcontainer with OCaml and other software preinstalled to run HOL Light.

About

Devcontainer with OCaml and other software preinstalled to run HOL Light.

License:BSD 2-Clause "Simplified" License

Languages

Language:Dockerfile 65.4%Language:Shell 30.9%Language:OCaml 3.7%