diff --git a/flake.lock b/flake.lock
index ed49456..4438989 100644
--- a/flake.lock
+++ b/flake.lock
@@ -52,11 +52,11 @@
         ]
       },
       "locked": {
-        "lastModified": 1756733629,
-        "narHash": "sha256-dwWGlDhcO5SMIvMSTB4mjQ5Pvo2vtxvpIknhVnSz2I8=",
+        "lastModified": 1758287904,
+        "narHash": "sha256-IGmaEf3Do8o5Cwp1kXBN1wQmZwQN3NLfq5t4nHtVtcU=",
         "owner": "nix-community",
         "repo": "disko",
-        "rev": "a5c4f2ab72e3d1ab43e3e65aa421c6f2bd2e12a1",
+        "rev": "67ff9807dd148e704baadbd4fd783b54282ca627",
         "type": "github"
       },
       "original": {
@@ -93,11 +93,11 @@
         ]
       },
       "locked": {
-        "lastModified": 1756903364,
-        "narHash": "sha256-vZh/YH2D7oDFek10r0TbGn3qJrqGv69sSP+oF8PFDqQ=",
+        "lastModified": 1759172751,
+        "narHash": "sha256-E8W8sRXfrvkFW26GuuiWq6QfReU7m5+cngwHuRo/3jc=",
         "owner": "nix-community",
         "repo": "home-manager",
-        "rev": "6159629d05a0e92bb7fb7211e74106ae1d552401",
+        "rev": "12fa8548feefa9a10266ba65152fd1a787cdde8f",
         "type": "github"
       },
       "original": {
@@ -146,11 +146,11 @@
     },
     "nixos-hardware": {
       "locked": {
-        "lastModified": 1756750488,
-        "narHash": "sha256-e4ZAu2sjOtGpvbdS5zo+Va5FUUkAnizl4wb0/JlIL2I=",
+        "lastModified": 1758663926,
+        "narHash": "sha256-6CFdj7Xs616t1W4jLDH7IohAAvl5Dyib3qEv/Uqw1rk=",
         "owner": "NixOS",
         "repo": "nixos-hardware",
-        "rev": "47eb4856cfd01eaeaa7bb5944a0f27db8fb9b94a",
+        "rev": "170ff93c860b2a9868ed1e1102d4e52cb3d934e1",
         "type": "github"
       },
       "original": {
@@ -162,11 +162,11 @@
     },
     "nixpkgs": {
       "locked": {
-        "lastModified": 1756787288,
-        "narHash": "sha256-rw/PHa1cqiePdBxhF66V7R+WAP8WekQ0mCDG4CFqT8Y=",
+        "lastModified": 1759036355,
+        "narHash": "sha256-0m27AKv6ka+q270dw48KflE0LwQYrO7Fm4/2//KCVWg=",
         "owner": "NixOS",
         "repo": "nixpkgs",
-        "rev": "d0fc30899600b9b3466ddb260fd83deb486c32f1",
+        "rev": "e9f00bd893984bc8ce46c895c3bf7cac95331127",
         "type": "github"
       },
       "original": {
@@ -194,11 +194,11 @@
     },
     "nixpkgs-unstable": {
       "locked": {
-        "lastModified": 1756787288,
-        "narHash": "sha256-rw/PHa1cqiePdBxhF66V7R+WAP8WekQ0mCDG4CFqT8Y=",
+        "lastModified": 1759036355,
+        "narHash": "sha256-0m27AKv6ka+q270dw48KflE0LwQYrO7Fm4/2//KCVWg=",
         "owner": "NixOS",
         "repo": "nixpkgs",
-        "rev": "d0fc30899600b9b3466ddb260fd83deb486c32f1",
+        "rev": "e9f00bd893984bc8ce46c895c3bf7cac95331127",
         "type": "github"
       },
       "original": {
@@ -258,11 +258,11 @@
         "nixpkgs": "nixpkgs_2"
       },
       "locked": {
-        "lastModified": 1756898789,
-        "narHash": "sha256-D246bgKaIIub9ghsPRwRQy6CP+sfPMxhMjbx97sUVTE=",
+        "lastModified": 1759180570,
+        "narHash": "sha256-bJjQpt6gLl3R7a9uibJuFM22OLyte0zE+Eu2L7sLIcc=",
         "owner": "0xc000022070",
         "repo": "zen-browser-flake",
-        "rev": "05372738e7abf086f370069718d9aeb4f541a462",
+        "rev": "bf6644b6f0f7e09b75e317bcd9cb824cde4383f0",
         "type": "github"
       },
       "original": {
diff --git a/modules/sway/default.nix b/modules/sway/default.nix
index 7def6cc..f534bd9 100644
--- a/modules/sway/default.nix
+++ b/modules/sway/default.nix
@@ -33,7 +33,7 @@ in
       mako
       waybar
       poweralertd
-      lxde.lxsession
+      lxsession
       networkmanagerapplet
       wofi
       wlogout
diff --git a/users/lyes/common/default.nix b/users/lyes/common/default.nix
index 8aaccca..535a9f2 100644
--- a/users/lyes/common/default.nix
+++ b/users/lyes/common/default.nix
@@ -17,5 +17,6 @@
 
   environment.sessionVariables = {
     PASSWORD_STORE_ENABLE_EXTENSIONS = "true";
+    ROCQPATH = "/etc/profiles/per-user/lyes/lib/coq/9.0/user-contrib";
   };
 }
diff --git a/users/lyes/desktop/dconf.nix b/users/lyes/desktop/dconf.nix
index ed8c881..52d07b1 100644
--- a/users/lyes/desktop/dconf.nix
+++ b/users/lyes/desktop/dconf.nix
@@ -143,7 +143,7 @@ with lib.hm.gvariant;
       focus-highlight-dominant = true;
       global-border-radius = 2;
       hotkeys-overlay-combo = "TEMPORARILY";
-      intellihide = false;
+      intellihide = true;
       panel-anchors = ''
         {"BOE-0x00000000":"MIDDLE"}
       '';
diff --git a/users/lyes/desktop/home.nix b/users/lyes/desktop/home.nix
index c1aaa9f..8893d6f 100644
--- a/users/lyes/desktop/home.nix
+++ b/users/lyes/desktop/home.nix
@@ -10,6 +10,7 @@ let
         just-perfection
         vitals
         weather-oclock
+        background-logo
     ];
 in
 {
@@ -40,12 +41,17 @@ in
   # Default apps
   xdg.mimeApps = {
     enable = true;
+    associations.added = {
+      "x-scheme-handler/sms" = "org.gnome.Shell.Extensions.GSConnect.desktop;";
+      "x-scheme-handler/tel" = "org.gnome.Shell.Extensions.GSConnect.desktop;";
+    };
     defaultApplications = {
       "text/plain" = "org.gnome.TextEditor.desktop";
       "text/markdown" = "org.gnome.TextEditor.desktop";
       "text/json" = "org.gnome.TextEditor.desktop";
       "text/html" = "zen-beta.desktop";
       "text/xml" = "org.gnome.TextEditor.desktop";
+      "image/avif" = "org.gnome.Loupe.desktop";
       "image/png" = "org.gnome.Loupe.desktop";
       "image/jpeg" = "org.gnome.Loupe.desktop";
       "image/svg+xml" = "org.gnome.Loupe.desktop";
diff --git a/users/lyes/desktop/packages.nix b/users/lyes/desktop/packages.nix
index fcd6da5..d9bf351 100644
--- a/users/lyes/desktop/packages.nix
+++ b/users/lyes/desktop/packages.nix
@@ -92,7 +92,8 @@ in {
     # Programming
     git
     git-lfs
-    vscode
+    # vscode
+    vscodium
     # zed-editor
     gcc
     rustup
@@ -100,7 +101,9 @@ in {
     ocaml
     ocamlPackages.ocaml-lsp
     ocamlPackages.ocamlformat
+    ocamlPackages.odoc
     opam
+    dune_3
     ledit
     nodejs
     nil
@@ -111,8 +114,15 @@ in {
     agdaPackages.standard-library
     elan
     coq
+    # rocq-core
+    # rocqPackages.stdlib
+    coqPackages.coq
+    coqPackages.stdlib
+    # coqPackages.HoTT
+    coqPackages.equations
+    coqPackages.metarocq
     coqPackages.vscoq-language-server
-    coqPackages.HoTT
+    numworks-udev-rules
 
     # Containers & VMs
     toolbox