Geeks
HOL-Theorem-Prover
/
hol4-vscode
HOL4 mode for VSCode
Primary Language
TypeScript
hol4-vscode GitHub
Markdown
Readme
0
Issues
1
Stargazer
2
Watchers
This repository is not active