diff options
| author | ericmarin <maarin.eric@gmail.com> | 2026-03-28 16:26:27 +0100 |
|---|---|---|
| committer | ericmarin <maarin.eric@gmail.com> | 2026-03-30 16:56:37 +0200 |
| commit | dbfc224384cd38b26c3e32d4c4dd8be7bb6d5bdc (patch) | |
| tree | c2bd1d3a1b4a051223ffd00d2dc476b13f3e3409 /README.md | |
| parent | 3e338c3be65638ef1898c32c707c50422acafb18 (diff) | |
| download | vein-dbfc224384cd38b26c3e32d4c4dd8be7bb6d5bdc.tar.gz vein-dbfc224384cd38b26c3e32d4c4dd8be7bb6d5bdc.zip | |
completed proof
Diffstat (limited to '')
| -rw-r--r-- | README.md | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -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. |