From d25c47522ec54207d79b5ab97cc1102e30eef6b2 Mon Sep 17 00:00:00 2001
From: Henri Saudubray <henri.saudubray@proton.me>
Date: Thu, 22 Jan 2026 10:17:38 +0100
Subject: [PATCH] feat (shells/why3-dev): add provers for local dev

---
 shells/why3-dev/flake.nix | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/shells/why3-dev/flake.nix b/shells/why3-dev/flake.nix
index 09071e5..32844bf 100644
--- a/shells/why3-dev/flake.nix
+++ b/shells/why3-dev/flake.nix
@@ -17,14 +17,21 @@
         in
         pkgs.mkShell {
           packages = with pkgs; [
+            # Build elements
             autoconf
             ocaml
+            ocamlPackages.ocaml-lsp
             ocamlPackages.findlib
             ocamlPackages.menhir
             ocamlPackages.menhirLib
             ocamlPackages.zarith
             ocamlPackages.lablgtk3
             ocamlPackages.lablgtk3-sourceview3
+
+            # Available provers
+            # alt-ergo
+            cvc5
+            z3
           ];
         };
     };