Total downloads
400
hhu-stups.prob
B/ProB Language Extension
7d gain
4
Rolling weekly delta
Rating
-
/ 5
0 reviews
Version
3.0.0
Latest published
Activity
Extension trends
Manifest
Metadata
- Namespace
- hhu-stups
- Name
- prob
- License
- EPL-2.0
- Homepage
- https://github.com/hhu-stups/b-language-extension#readme
- Repository
- https://github.com/hhu-stups/b-language-extension.git
- Reviews
- 0
Taxonomy
Categories
Description
Compiler and language support for B via ProB
Archive