GitHub repository: monadius/hol_server
Primary language: OCaml
Created: 2024-08-12T22:28:11Z
Description: A server for executing toplevel HOL Light commands