1 files changed, 2 insertions, 0 deletions
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.