remove old tests

lecopivo · Nov 19, 2024 · 92b1246 · 92b1246
1 parent cab712a
commit 92b1246
Show file tree

Hide file tree

Showing 47 changed files with 0 additions and 4,103 deletions.
diff --git a/test/approx_test.lean b/test/approx_test.lean
diff --git a/test/basic_gradients.lean b/test/basic_gradients.lean