VEIN: VErification via Interaction Nets
Requires my fork of Inpla.
- 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 file for details.