From dbfc224384cd38b26c3e32d4c4dd8be7bb6d5bdc Mon Sep 17 00:00:00 2001 From: ericmarin Date: Sat, 28 Mar 2026 16:26:27 +0100 Subject: completed proof --- README.md | 2 ++ 1 file changed, 2 insertions(+) (limited to 'README.md') diff --git a/README.md b/README.md index 2425ab9..3f9c16d 100644 --- a/README.md +++ b/README.md @@ -6,6 +6,8 @@ Requires my [fork of Inpla](https://github.com/eric-marin/inpla). - **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. -- cgit v1.2.3