blob: dfb60f5ff92c71a97e9742836e30a377b576993d (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
|
# VEIN: VErification via Interaction Nets</p>
Requires my [fork of Inpla](https://git.mirenn.dev/inpla.git).
- Clone the fork
- **make** the executable
- Copy the **inpla** executable in **vein/**
## License
This project is licensed under the GNU Affero General Public License v3.0 - see the [LICENSE](LICENSE) file for details.
|
