diff options
| author | ericmarin <maarin.eric@gmail.com> | 2026-06-20 13:30:33 +0200 |
|---|---|---|
| committer | ericmarin <maarin.eric@gmail.com> | 2026-06-25 20:22:18 +0200 |
| commit | ed622e662cbefc4c16b425666388641e97921ebc (patch) | |
| tree | 8d525b8740418dc6446d002fc7350c0e3b4da232 /README.md | |
| parent | d85de781b4a825fe0d1217e1e8ae5ec81dd70202 (diff) | |
| download | vein-ed622e662cbefc4c16b425666388641e97921ebc.tar.gz vein-ed622e662cbefc4c16b425666388641e97921ebc.zip | |
Diffstat (limited to 'README.md')
| -rw-r--r-- | README.md | 2 |
1 files changed, 0 insertions, 2 deletions
@@ -6,8 +6,6 @@ Requires my [fork of Inpla](https://github.com/eric-marin/inpla). - **make** the executable - Copy the **inpla** executable in **vein/** -[Soundness proof](./docs/proof.md) - ## License This project is licensed under the GNU Affero General Public License v3.0 - see the [LICENSE](LICENSE) file for details. |