From 9fb816496d392638fa6981e71800466d71434680 Mon Sep 17 00:00:00 2001 From: ericmarin Date: Wed, 8 Apr 2026 14:58:51 +0200 Subject: changed name --- README.md | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'README.md') diff --git a/README.md b/README.md index 3f9c16d..be2b25e 100644 --- a/README.md +++ b/README.md @@ -1,12 +1,12 @@ -# Neural Network Equivalence (NNEQ) +# VEIN: VErification via Interaction Nets Requires my [fork of Inpla](https://github.com/eric-marin/inpla). - Clone the fork - **make** the executable -- Copy the **inpla** executable in NNEQ/ +- Copy the **inpla** executable in **vein/** -[Soundness proof](./proof.md) +[Soundness proof](./docs/proof.md) ## License -- cgit v1.2.3