Mizar-language-server NPM | npm.io

0.0.1 • Published 4 years ago

Install

Weekly downloads

-

License

MIT

Repository

Last release

4 years ago

vscode-languageserver vscode-languageserver-textdocument carrier child_process readline vscode-uri

@everything-registry/sub-chunk-2179 @infinitebrahmanuniverse/nolb-miz @zalastax/nolb-miz

4 years ago