From fb544e2089e0c52bd83ffe56f2f4e8d7176564ee Mon Sep 17 00:00:00 2001
From: ericmarin <maarin.eric@gmail.com>
Date: Wed, 11 Mar 2026 16:07:04 +0100
Subject: added constraint to prover

---
 appunti | 7 +++++++
 1 file changed, 7 insertions(+)
 create mode 100644 appunti

(limited to 'appunti')

diff --git a/appunti b/appunti
new file mode 100644
index 0000000..b64b282
--- /dev/null
+++ b/appunti
@@ -0,0 +1,7 @@
+scalability
+
+soundness of translated nn
+
+compatibility with other types of network
+
+comparison with other tool
-- 
cgit v1.2.3