From 350733016ca46cac395b58c03bb5389b9d62c3c1 Mon Sep 17 00:00:00 2001
From: Julien Malka <julien@malka.sh>
Date: Mon, 20 Feb 2023 17:26:16 +0100
Subject: [PATCH] feat: added software verification tools

---
 machines/macintosh/home-julien.nix | 12 ++++++++++--
 1 file changed, 10 insertions(+), 2 deletions(-)

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 @@
       };
 
 
+
     };