clean up ML module

lecopivo · Dec 4, 2023 · aa2b2db · aa2b2db
1 parent f4195e2
commit aa2b2db
Showing 1 changed file with 0 additions and 21 deletions.
diff --git a/SciLean/Modules/ML/DenseLayer.lean b/SciLean/Modules/ML/DenseLayer.lean