proof/replace/base.bend at bend/all-shell · gildrb.com/eukhe · Tangled

Coding agent with a memory of all things

eukhe proof replace base.bend

6.2 kB · 160 lines

at bend/all-shell

gildrb.com · proofs: no misc files: a claim that calls nothing is logic (proof/base/logic/), every other topic keeps its function name; comments cite laws/ and proof/ · 3w ago