Total downloads
1,019
nano-crl2.nano-crl2-lsp
nano-crl2-lsp
7d gain
8
Rolling weekly delta
Rating
-
/ 5
0 reviews
Version
0.2.0
Latest published
Activity
Extension trends
Manifest
Metadata
- Namespace
- nano-crl2
- Name
- nano-crl2-lsp
- License
- MIT
- Homepage
- https://github.com/emilia-h/nano-crl2-lsp#readme
- Repository
- https://github.com/emilia-h/nano-crl2-lsp.git
- Reviews
- 0
Taxonomy
Categories
No categories declared.
Description
Extension for mCRL2, implemented using the language server protocol (LSP)
Archive