B

B Language Server

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