Remove no longer used files

math-comp · Feb 26, 2023 · 8ac3220 · 8ac3220
1 parent 80e6377
commit 8ac3220
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 307 deletions.
diff --git a/HB_wrappers.v b/HB_wrappers.v
diff --git a/test.v b/test.v