hol-light

Popular repositories Loading

1. vscode-hol-light vscode-hol-light Public

   An extension for VS Code which provides support for HOL Light

   TypeScript 8 2

2. compute-hol-light compute-hol-light Public

   Computations in HOL Light

   OCaml 2 3

3. hol_server hol_server Public

   A server for executing toplevel HOL Light commands

   OCaml 2 2

4. hol-light.github.io hol-light.github.io Public

   HTML 1 2

5. hol-light-web hol-light-web Public

   HOL Light running on a web browser

   Standard ML

6. TacticTrace TacticTrace Public

   OCaml