Total downloads
350
VafaTarighi.mcrl2-icons
mCRL2 Icons
7d gain
4
Rolling weekly delta
Rating
-
/ 5
0 reviews
Version
0.0.1
Latest published
Activity
Extension trends
Manifest
Metadata
- Namespace
- VafaTarighi
- Name
- mcrl2-icons
- License
- -
- Homepage
- https://github.com/VafaTarighi/mcrl2-icons#readme
- Repository
- https://github.com/VafaTarighi/mcrl2-icons.git
- Reviews
- 0
Taxonomy
Categories
Description
File icons for mCRL2 formal verification files
Archive