add ML.lean file

lecopivo · Dec 6, 2023 · 996ae91 · 996ae91
1 parent bdc875c
commit 996ae91
Showing 1 changed file with 8 additions and 0 deletions.
diff --git a/SciLean/Modules/ML.lean b/SciLean/Modules/ML.lean
@@ -0,0 +1,8 @@
+import SciLean.Modules.ML.Activation
+import SciLean.Modules.ML.Convolution
+import SciLean.Modules.ML.Dense
+import SciLean.Modules.ML.Loss
+import SciLean.Modules.ML.SoftMax
+import SciLean.Modules.ML.Pool
+
+import SciLean.Modules.ML.MNIST