aboutsummaryrefslogtreecommitdiff
path: root/proof.norg
diff options
context:
space:
mode:
authormirenn <me@mirenn.dev>2026-03-21 11:47:40 +0100
committermirenn <me@mirenn.dev>2026-03-21 12:00:16 +0100
commite969ba61e099fb699418cbef75e47c84dd6f90c0 (patch)
treed74dcc2e0691bb587d2a9a695639517d3aec9256 /proof.norg
parent27c68538a92ef86b88c94e43b8d92b0fe535a3fa (diff)
downloadvein-e969ba61e099fb699418cbef75e47c84dd6f90c0.tar.gz
vein-e969ba61e099fb699418cbef75e47c84dd6f90c0.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