proof/doc_commit/entry · eukhe · Tangled

Coding agent with a memory of all things

eukhe proof doc_commit entry

4 files

gildrb.com · proof: the wire lemmas that dash_access and gateway_answer borrowed from doc_commit move to proof/base · 2w ago

proof: the wire lemmas that dash_access and gateway_answer borrowed from doc_commit move to proof/base

proof: the wire lemmas that dash_access and gateway_answer borrowed from doc_commit move to proof/base

proof: the wire lemmas that dash_access and gateway_answer borrowed from doc_commit move to proof/base

proof: the wire lemmas that dash_access and gateway_answer borrowed from doc_commit move to proof/base