Geeks
myreen
/
hol-light
The HOL Light theorem prover
Primary Language
OCaml
Other
NOASSERTION
hol-light GitHub
Markdown
Readme
0
Issues
0
Stargazers
0
Watchers
No issues in this repository yet.