Total downloads
344
monadius.hol-light-simple
HOL Light
7d gain
2
Rolling weekly delta
Rating
-
/ 5
0 reviews
Version
2.7.0
Latest published
Activity
Extension trends
Manifest
Metadata
- Namespace
- monadius
- Name
- hol-light-simple
- License
- SEE LICENSE IN LICENSE
- Homepage
- https://github.com/monadius/vscode-hol-light/blob/master/README.md
- Repository
- https://github.com/monadius/vscode-hol-light.git
- Reviews
- 0
Taxonomy
Categories
Description
An extension for VS Code which provides support for HOL Light
Archive