Merge remote-tracking branch 'origin/develop' into _update-deps/runti…

…meverification/hs-backend-booster
runtimeverification · Jan 29, 2024 · 47e5d07 · 47e5d07
2 parents c47120d + 354daa8
commit 47e5d07
Show file tree

Hide file tree

Showing 13 changed files with 0 additions and 2,029 deletions.
diff --git a/k-distribution/include/kframework/coq/maps.v b/k-distribution/include/kframework/coq/maps.v
diff --git a/k-distribution/include/kframework/coq/proof.v b/k-distribution/include/kframework/coq/proof.v