lean

flake.lock

@@ -137,7 +137,7 @@
     },
     "nixpkgs": {
       "locked": {
-        "lastModified": 1701263465,
+        "lastModified": 1701455942,
         "narHash": "sha256-lNXUIlkfyDyp9Ox21hr+wsEf/IBklLvb6bYcyeXbdRc=",
         "owner": "NixOs",
         "repo": "nixpkgs",

home/rachel.nix

@@ -83,6 +83,7 @@ in
       vimv
       rzk
       whalebird
+      lean4
     ];
     stateVersion = "23.11";
   };
@@ -188,6 +189,10 @@ in
           },
         })
         require('orgmode').setup({})
+        require('lean').setup({
+          lsp = { on_attach = on_attach },
+          mappings = true,
+        })🐈
 
         vim.api.nvim_create_autocmd('LspAttach', {
           callback = function(args)
@@ -286,6 +291,7 @@ in
           org
         ]))
         vim-obsession
+        lean-nvim
       ];
     };