update mnist tuto with proof

gizatechxyz · Jan 30, 2024 · 86ea658 · 86ea658
1 parent 413e799
commit 86ea658
Show file tree

Hide file tree

Showing 5 changed files with 1,739 additions and 309 deletions.
diff --git a/.gitignore b/.gitignore
@@ -139,4 +139,5 @@ dmypy.json
 **/*.jpg
 **/*.whl
 **/data
-*.sierra
+*.sierra
+*.proof