Total downloads
158
nano-crl2.nano-crl2
nanoCRL2
7d gain
64
Rolling weekly delta
Rating
-
/ 5
0 reviews
Version
0.3.0
Latest published
Activity
Extension trends
Manifest
Metadata
- Namespace
- nano-crl2
- Name
- nano-crl2
- License
- MIT
- Repository
- https://codeberg.org/emilia-h/nano-crl2-lsp
- Reviews
- 0
Taxonomy
Categories
Description
Extension for mCRL2, implemented using the language server protocol (LSP)
Archive