From 8f4f24523235965cfa2041ed00cc40fc0b4bd367 Mon Sep 17 00:00:00 2001
From: ericmarin <maarin.eric@gmail.com>
Date: Fri, 10 Apr 2026 15:06:56 +0200
Subject: added MNIST, changed cache and parser

---
 README.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'README.md')

diff --git a/README.md b/README.md
index be2b25e..7989b1c 100644
--- a/README.md
+++ b/README.md
@@ -1,4 +1,4 @@
-# VEIN: VErification via Interaction Nets
+# VEIN: VErification via Interaction Nets</p>
 
 Requires my [fork of Inpla](https://github.com/eric-marin/inpla).
 
-- 
cgit v1.2.3