Equations? TermOverBoV_eval

h0nzZik · Mar 13, 2024 · 905d4bd · 905d4bd
1 parent b7995dd
commit 905d4bd
Show file tree

Hide file tree

Showing 4 changed files with 8,333 additions and 8,302 deletions.
diff --git a/flake.nix b/flake.nix
@@ -27,7 +27,7 @@
 
             propagatedBuildInputs = [
               coq
-              #coqPackages.equations
+              coqPackages.equations
               coqPackages.stdpp
               coq.ocaml
               coq.ocamlPackages.zarith

diff --git a/minuska/_CoqProject b/minuska/_CoqProject
@@ -20,6 +20,7 @@ theories/default_static_model.v
 theories/notations.v
 theories/frontend.v
 theories/minusl_compile.v
+theories/minusl_compile_properties.v
 theories/dt.v
 theories/interp_loop.v