diff options
| author | mirenn <me@mirenn.dev> | 2026-06-20 13:30:33 +0200 |
|---|---|---|
| committer | mirenn <me@mirenn.dev> | 2026-10-08 14:49:58 +0200 |
| commit | 2b046d5be554d81f2e5841a26de3f62c4681aa43 (patch) | |
| tree | 7d2bf797d806c307c38f81c1f2c5109b8ea7c3fb /README.md | |
| parent | 0c63e81f1f851a07db4cecdc16b95d908f63d0a5 (diff) | |
| download | vein-2b046d5be554d81f2e5841a26de3f62c4681aa43.tar.gz vein-2b046d5be554d81f2e5841a26de3f62c4681aa43.zip | |
Diffstat (limited to 'README.md')
| -rw-r--r-- | README.md | 4 |
1 files changed, 1 insertions, 3 deletions
@@ -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. |