aboutsummaryrefslogtreecommitdiff
path: root/examples/verify_fashion_mnist.py
diff options
context:
space:
mode:
authormirenn <me@mirenn.dev>2026-03-28 16:26:27 +0100
committermirenn <me@mirenn.dev>2026-03-30 16:56:37 +0200
commitf656703a0d87911627943bf9c8ada7d5952d8a41 (patch)
treec2bd1d3a1b4a051223ffd00d2dc476b13f3e3409 /examples/verify_fashion_mnist.py
parent3414dd9a6a412e5e87b19daef6b1c9ab630c749d (diff)
downloadvein-f656703a0d87911627943bf9c8ada7d5952d8a41.tar.gz
vein-f656703a0d87911627943bf9c8ada7d5952d8a41.zip
completed proof
Diffstat (limited to 'examples/verify_fashion_mnist.py')
-rw-r--r--examples/verify_fashion_mnist.py15
1 files changed, 0 insertions, 15 deletions
diff --git a/examples/verify_fashion_mnist.py b/examples/verify_fashion_mnist.py
index 4de0d1e..91ca1ae 100644
--- a/examples/verify_fashion_mnist.py
+++ b/examples/verify_fashion_mnist.py
@@ -1,18 +1,3 @@
-# Copyright (C) 2026 Eric Marin
-#
-# This program is free software: you can redistribute it and/or modify
-# it under the terms of the GNU Affero General Public License as
-# published by the Free Software Foundation, either version 3 of the
-# License, or (at your option) any later version.
-#
-# This program is distributed in the hope that it will be useful,
-# but WITHOUT ANY WARRANTY; without even the implied warranty of
-# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
-# GNU Affero General Public License for more details.
-#
-# You should have received a copy of the GNU Affero General Public License
-# along with this program. If not, see <https://www.gnu.org/licenses/>.
-
import sys, os
sys.path.append(os.path.dirname(os.path.dirname(os.path.abspath(__file__))))