diff options
Diffstat (limited to 'LICENSE')
| -rw-r--r-- | LICENSE | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -629,7 +629,7 @@ to attach them to the start of each source file to most effectively state the exclusion of warranty; and each file should have at least the "copyright" line and a pointer to where the full notice is found. - Neural Network Equivalence (NNEQ) + VErification via Interaction Nets (VEIN) Copyright (C) 2026 Eric Marin This program is free software: you can redistribute it and/or modify |