# VEIN: VErification via Interaction Nets</p>

Requires my [fork of Inpla](https://github.com/eric-marin/inpla).

- 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.