Thierry, great work! I was wondering, is your metamath LSP server tied up to Visual Studio? Some other IDEs and editors support LSP (for example, emacs and vim with a plugin), and I'm curious how hard it will be to use your server with a different setup.
-- You received this message because you are subscribed to the Google Groups "Metamath" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/763f0067-06b0-4e4c-8462-152d5bec342bn%40googlegroups.com.
