rocq proof: structural decrease is well founded

1 files changed, 1 insertions, 0 deletions

diff --git a/flake.nix b/flake.nix
index 77264eb..8a52938 100644
--- a/flake.nix
+++ b/flake.nix
@@ -57,6 +57,7 @@
               ocamlPackages.menhir
               # Rocq, for the verified checkers and their extraction
               pkgs.coq
+              pkgs.coqPackages.stdlib
             ];
           };
         });