blob: 3f9c16d1dbe8d7f38293074c7911f29cf2128ff9 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
# Neural Network Equivalence (NNEQ)
Requires my [fork of Inpla](https://github.com/eric-marin/inpla).
- Clone the fork
- **make** the executable
- Copy the **inpla** executable in NNEQ/
[Soundness proof](./proof.md)
## License
This project is licensed under the GNU Affero General Public License v3.0 - see the [LICENSE](LICENSE) file for details.
|
