docs: cleanup

- brief should live at the top of each file
- fix indentation for some docs

1 files changed, 16 insertions, 15 deletions

diff --git a/lsp/lean3ls.lua b/lsp/lean3ls.lua
index 941ec227..977e04b9 100644
--- a/lsp/lean3ls.lua
+++ b/lsp/lean3ls.lua
@@ -1,20 +1,21 @@
-local util = require 'lspconfig.util'
-
 ---@brief
 ---
--- https://github.com/leanprover/lean-client-js/tree/master/lean-language-server
---
--- Lean installation instructions can be found
--- [here](https://leanprover-community.github.io/get_started.html#regular-install).
---
--- Once Lean is installed, you can install the Lean 3 language server by running
--- ```sh
--- npm install -g lean-language-server
--- ```
---
--- Note: that if you're using [lean.nvim](https://github.com/Julian/lean.nvim),
--- that plugin fully handles the setup of the Lean language server,
--- and you shouldn't set up `lean3ls` both with it and `lspconfig`.
+--- https://github.com/leanprover/lean-client-js/tree/master/lean-language-server
+---
+--- Lean installation instructions can be found
+--- [here](https://leanprover-community.github.io/get_started.html#regular-install).
+---
+--- Once Lean is installed, you can install the Lean 3 language server by running
+--- ```sh
+--- npm install -g lean-language-server
+--- ```
+---
+--- Note: that if you're using [lean.nvim](https://github.com/Julian/lean.nvim),
+--- that plugin fully handles the setup of the Lean language server,
+--- and you shouldn't set up `lean3ls` both with it and `lspconfig`.
+
+local util = require 'lspconfig.util'
+
 return {
   cmd = { 'lean-language-server', '--stdio', '--', '-M', '4096', '-T', '100000' },
   filetypes = { 'lean3' },