diff options
Diffstat (limited to '')
| -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. |