Total downloads
192
HOL4Developers.hol4-vscode
HOL4 + LSP mode
7d gain
44
Rolling weekly delta
Rating
-
/ 5
0 reviews
Version
0.1.0
Latest published
Activity
Extension trends
Manifest
Metadata
- Namespace
- HOL4Developers
- Name
- hol4-vscode
- License
- BSD-3-Clause
- Homepage
- https://github.com/HOL-Theorem-Prover/hol4-vscode#readme
- Repository
- https://github.com/HOL-Theorem-Prover/hol4-vscode.git
- Reviews
- 0
Taxonomy
Categories
Description
A VSCode extension for interacting with the HOL4 theorem prover
Archive