Explore projects
-
general / stups / B Language Server
Eclipse Public License 2.0A language server implementation for B, using ProB as backend, based on Java/Kotlin
Updated
Ab 01.06.2025 wird in der Informatik 2FA/MFA erzwungen. Die Einrichtung wird vorher empfohlen, optimalerweise direkt mit Fallback (Hardwaretoken UND TOTP-/Authenticator App).
A language server implementation for B, using ProB as backend, based on Java/Kotlin