From 2b046d5be554d81f2e5841a26de3f62c4681aa43 Mon Sep 17 00:00:00 2001
From: mirenn <me@mirenn.dev>
Date: Sat, 20 Jun 2026 13:30:33 +0200
Subject: fixed model

---
 README.md | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

(limited to 'README.md')

diff --git a/README.md b/README.md
index 7989b1c..dfb60f5 100644
--- a/README.md
+++ b/README.md
@@ -1,13 +1,11 @@
 # VEIN: VErification via Interaction Nets</p>
 
-Requires my [fork of Inpla](https://github.com/eric-marin/inpla).
+Requires my [fork of Inpla](https://git.mirenn.dev/inpla.git).
 
 - Clone the fork
 - **make** the executable
 - Copy the **inpla** executable in **vein/**
 
-[Soundness proof](./docs/proof.md)
-
 ## License
 
 This project is licensed under the GNU Affero General Public License v3.0 - see the [LICENSE](LICENSE) file for details.
-- 
cgit v1.2.3