empty test just to test how long it takes to import SciLean

lecopivo · Sep 1, 2023 · 3d8f1f0 · 3d8f1f0
1 parent 54bd0cb
commit 3d8f1f0
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/test/empty.lean b/test/empty.lean
@@ -0,0 +1,3 @@
+import SciLean 
+
+