Skip to content
Snippets Groups Projects
Select Git revision
  • a9075c3b9e7c1cc24db737372b6dd6be4cef5d04
  • master default protected
  • release
  • v2.2.0
  • v2.1.1
  • v2.1.0
  • v2.0.5
  • v2.0.2
  • v2.0.1
  • v2.0.0
  • v1.3.4
  • v1.5.0
  • v1.4.0
  • v1.3.3
  • v1.3.2
  • v1.3.1
  • v1.3
  • v1.2
  • v1.1
  • v1.0
  • 0.0.1
  • 0.0.2
22 results

b_language_server

  • Open with
  • Download source code
  • 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.

  • user avatar
    SeeBasTStick authored
    a9075c3b
    History

    b-language-server

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