User Interfaces > Coq LSP

Language server and extension for the Visual Studio Code and VSCodium editors with custom document checking engine.