proof/theme/base · eukhe · Tangled

Coding agent with a memory of all things

eukhe proof theme base

4 files

gildrb.com · spec: one folder per pillar (durable, memory, settings, theme); the OptChat law vocabulary moves from bend/spec.bend to spec/memory/optchat.bend; the Lean twins of log and optchat go (their Bend specs are proven, and --verdict checks them with a Lean-proven kernel) · 1w ago

spec: one folder per pillar (durable, memory, settings, theme); the OptChat law vocabulary moves from bend/spec.bend to spec/memory/optchat.bend; the Lean twins of log and optchat go (their Bend specs are proven, and --verdict checks them with a Lean-proven kernel)

spec: one folder per pillar (durable, memory, settings, theme); the OptChat law vocabulary moves from bend/spec.bend to spec/memory/optchat.bend; the Lean twins of log and optchat go (their Bend specs are proven, and --verdict checks them with a Lean-proven kernel)

spec: one folder per pillar (durable, memory, settings, theme); the OptChat law vocabulary moves from bend/spec.bend to spec/memory/optchat.bend; the Lean twins of log and optchat go (their Bend specs are proven, and --verdict checks them with a Lean-proven kernel)

spec: one folder per pillar (durable, memory, settings, theme); the OptChat law vocabulary moves from bend/spec.bend to spec/memory/optchat.bend; the Lean twins of log and optchat go (their Bend specs are proven, and --verdict checks them with a Lean-proven kernel)