aboutsummaryrefslogtreecommitdiff
path: root/proof.norg
diff options
context:
space:
mode:
authorericmarin <maarin.eric@gmail.com>2026-03-21 11:47:40 +0100
committerericmarin <maarin.eric@gmail.com>2026-03-21 12:00:16 +0100
commite2abe9d9ec649b849cc39b516c1db1b4fa592003 (patch)
treed74dcc2e0691bb587d2a9a695639517d3aec9256 /proof.norg
parentaf4335cf47984576e7493a0eb6569d3f6ecc31c8 (diff)
downloadvein-e2abe9d9ec649b849cc39b516c1db1b4fa592003.tar.gz
vein-e2abe9d9ec649b849cc39b516c1db1b4fa592003.zip
created class
Diffstat (limited to '')
-rw-r--r--proof.norg1
1 files changed, 0 insertions, 1 deletions
diff --git a/proof.norg b/proof.norg
index 1379f78..2a0f768 100644
--- a/proof.norg
+++ b/proof.norg
@@ -46,7 +46,6 @@ version: 1.1.1
By grouping the operations we get:
/Y = alpha * A * B + beta * C/
-
* Proof for the Interaction Rules
** Materialize
The Materialize agent transforms a Linear agent into a tree of explicit mathematical operations