temporarily remove ComputeDegree test (will delete this commit later)

leanprover-community · Oct 22, 2023 · 9d835e4 · 9d835e4
1 parent 828242f
commit 9d835e4
Showing 1 changed file with 0 additions and 222 deletions.
diff --git a/test/ComputeDegree.lean b/test/ComputeDegree.lean