Geeks
binghe
/
HOL
Forked sources for HOL4 theorem-proving system
Primary Language
Standard ML
Other
NOASSERTION
HOL Home Page
HOL GitHub
Markdown
Readme
0
Issues
7
Stargazers
5
Watchers
Watchers
binghe
Canberra, Australia
jhcloos
sebafonte
Argentina
eemailme
jub0t