1 files changed, 4 insertions, 0 deletions
diff --git a/flake.nix b/flake.nix
index 1976555..6a1e1a2 100644
--- a/flake.nix
+++ b/flake.nix
@@ -275,6 +275,10 @@
               ppx_protocol_conv
               ppx_protocol_conv_xml_light
               ocamlPackages.earlybird
+              # Formal verification
+              legacyPackages.coq
+              legacyPackages.coqPackages.stdlib
+              legacyPackages.z3
             ];