b-language-server
A language server implementation for B, using ProB as backend, based on Java/Kotlin
Select Git revision
java
Open with
- Visual Studio Code
- IntelliJ IDEA
Download source code
Download directory
Your workspaces
A workspace is a virtual sandbox environment for your code in GitLab.
No agents available to create workspaces. Please consult Workspaces documentation for troubleshooting.
Code owners
Assign users and groups as approvers for specific file changes. Learn more.
| Name | Last commit | Last update |
|---|---|---|
| .. | ||
| .gitignore | ||
| LICENSE | ||
| README.md | ||