From ed622e662cbefc4c16b425666388641e97921ebc Mon Sep 17 00:00:00 2001 From: ericmarin Date: Sat, 20 Jun 2026 13:30:33 +0200 Subject: fixed model --- README.md | 2 -- 1 file changed, 2 deletions(-) (limited to 'README.md') diff --git a/README.md b/README.md index 7989b1c..60222a0 100644 --- a/README.md +++ b/README.md @@ -6,8 +6,6 @@ Requires my [fork of Inpla](https://github.com/eric-marin/inpla). - **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