proof/revive · eukhe · Tangled

Sign in Join now

eukhe gildrb.com /

Star Starred Star 0

Something went wrong. Try again.

Watch Watching Watch

Coding agent with a memory of all things

Star Starred Star 0

Something went wrong. Try again.

Watch Watching Watch

Overview Overview Issues Issues Pulls Pulls Pipelines Pipelines

eukhe /proof /revive

1 file

at bend/all-docs

· 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

revive_after_refresh.bend

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/