eukhe
Coding agent with a memory of all things
Star 0
Fork 0
Watch

Version history of proof/command/command_memory_model_keys_example.bend

October 2026

gildrb.com
laws: one laws/<area>.bend per area, shared spec helpers in laws/base.bend, LAWS.bend imports only; fills re-aliased def <Area>.<law>
committed
gildrb.com
proofs: the Bend Bank layout per area: proof/<area>/<law>.bend per law, proof/<area>/base.bend and proof/base.bend for shared lemmas, PROOF.bend imports only
committed