stuff

flake.nix

@@ -471,9 +471,11 @@
           };
           haproxy-lua-http = pkgs.callPackage ./packages/haproxy-lua-http.nix { };
           liam-sieve-script = self.nixosConfigurations.liam.config.vacu.liam-sieve-script;
+          lean4 = pkgs-unstable.lean4;
           nixvim = inputs.nixvim.legacyPackages.${system}.makeNixvimWithModule {
             module = {
               imports = [ ./nixvim ];
+              _module.args = { inherit pkgs-unstable; };
             };
           };
           nix-inspect = inputs.nix-inspect.packages.${system}.default;

nixvim/default.nix

@@ -1,8 +1,20 @@
 {
   config,
   lib,
+  pkgs-unstable,
   ...
 }:
+let
+  lean4_custom = pkgs-unstable.lean4.overrideAttrs {
+    version = "4.18.0";
+    src = pkgs-unstable.fetchFromGitHub {
+      owner = "leanprover";
+      repo = "lean4";
+      tag = "v4.18.0";
+      hash = "sha256-1hVcRO9RbVUgoKTUTFXBqJZwt50/aw/P9dxUdI7RpCc=";
+    };
+  };
+in
 {
   opts = {
     smartindent = true;
@@ -14,6 +26,7 @@
   plugins.vim-surround.enable = true;
   plugins.lean = {
     enable = true;
+    leanPackage = lean4_custom;
     mappings = true;
   };
   plugins.lsp = {

overlays/default.nix

@@ -3,4 +3,5 @@ map import [
   ./newPackages.nix
   ./fetchurl-with-wetransfer
   ./betterbird
+  ./lean4Latest.nix
 ]

overlays/lean4Latest.nix

@@ -0,0 +1,8 @@
+self: super: {
+  lean4 = super.lean4.overrideAttrs { src = self.fetchFromGitHub {
+    owner = "leanprover";
+    repo = "lean4";
+    tag = "v4.18.0";
+    hash = "sha256-1hVcRO9RbVUgoKTUTFXBqJZwt50/aw/P9dxUdI7RpCc=";
+  }; };
+}