diff --git a/machines/macintosh/home-julien.nix b/machines/macintosh/home-julien.nix
index 95e2489..6bcf030 100644
--- a/machines/macintosh/home-julien.nix
+++ b/machines/macintosh/home-julien.nix
@@ -40,8 +40,6 @@
         nix-direnv.enable = true;
       };
 
-
-
       home.pointerCursor = {
         name = "Adwaita";
         package = pkgs.gnome.adwaita-icon-theme;
@@ -69,6 +67,15 @@
           flameshot
           networkmanagerapplet
           sops
+          coq
+          coqPackages.coqide
+          (why3.withProvers
+            [
+              alt-ergo
+              cvc5
+              cvc4
+              z3
+            ])
         ];
 
       fonts.fontconfig.enable = true;
@@ -78,6 +85,7 @@
       };
 
 
+
     };