nvim-lspconfig/lua/lspconfig/server_configurations/mm0_ls.lua, branch v0.1.4[no description]http://git.sudomsg.com/mirror/nvim-lspconfig/atom/lua/lspconfig/server_configurations/mm0_ls.lua?h=v0.1.42022-03-19T02:46:05Zfeat: add mm0 language support (#1787)2022-03-19T02:46:05ZJulian BermanJulian@GrayVines.com2022-03-19T02:46:05Zurn:sha1:dc3e1b25a1da2de5461c00b877f7eb2fdd906800
This is a theorem prover (https://github.com/digama0/mm0) in some sense
related to the existing (supported) Lean theorem prover.