From 9fb816496d392638fa6981e71800466d71434680 Mon Sep 17 00:00:00 2001 From: ericmarin Date: Wed, 8 Apr 2026 14:58:51 +0200 Subject: changed name --- LICENSE | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'LICENSE') diff --git a/LICENSE b/LICENSE index 0307b44..16d9c93 100644 --- a/LICENSE +++ b/LICENSE @@ -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 -- cgit v1.2.3