Merge remote-tracking branch 'origin/develop'

runtimeverification · Jan 29, 2024 · ded8523 · ded8523
2 parents 4f92f7a + 354daa8
commit ded8523
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