Skip to content

GitLab

Explore

Sign in

general
stups
B Language Server

B

B Language Server

Project information

A language server implementation for B, using ProB as backend, based on Java/Kotlin

100 Commits
2 Branches
19 Tags

README
Eclipse Public License 2.0

Created on

June 26, 2023

Copy SSH clone URLgit@gitlab.cs.uni-duesseldorf.de:general/stups/b_language_server.git
Copy HTTPS clone URLhttps://gitlab.cs.uni-duesseldorf.de/general/stups/b_language_server.git