diff options
| author | mirenn <me@mirenn.dev> | 2026-03-11 16:07:04 +0100 |
|---|---|---|
| committer | mirenn <me@mirenn.dev> | 2026-03-11 16:07:04 +0100 |
| commit | 7037ec14ad1e8b385c81d20b0f6076d11840f51a (patch) | |
| tree | 465c8a957baa001ea3e4733774b380dc2cc79e22 /appunti | |
| parent | 31e54e7b94d5dcfbbde2bea4595c564161a95656 (diff) | |
| download | vein-7037ec14ad1e8b385c81d20b0f6076d11840f51a.tar.gz vein-7037ec14ad1e8b385c81d20b0f6076d11840f51a.zip | |
added constraint to prover
Diffstat (limited to 'appunti')
| -rw-r--r-- | appunti | 7 |
1 files changed, 7 insertions, 0 deletions
@@ -0,0 +1,7 @@ +scalability + +soundness of translated nn + +compatibility with other types of network + +comparison with other tool |