Geeks
gilith
/
hol-light
HOL Light with OpenTheory Support
Primary Language
OCaml
Other
NOASSERTION
hol-light GitHub
Markdown
Readme
0
Issues
5
Stargazers
2
Watchers
Watchers
gilith
Intel Corporation
skafshar