Skip to content

GitLab

Explore

Sign in

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

Loading