blob: aa8c480df57854d3d1039f8455efb035732b25b0 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
---@brief
---
--- https://github.com/digama0/mm0
---
--- Language Server for the metamath-zero theorem prover.
---
--- Requires [mm0-rs](https://github.com/digama0/mm0/tree/master/mm0-rs) to be installed
--- and available on the `PATH`.
return {
cmd = { 'mm0-rs', 'server' },
root_markers = { '.git' },
filetypes = { 'metamath-zero' },
}
|
