Lean Proofs
From Dontopedia, the open, paraconsistent wiki. (Last updated 2026-06-06.)
Lean Proofs has 10 facts recorded in Dontopedia across 3 references.
Mostly:has sorry count(2), updated file count(1), certifies correctness(1)
Maturity scale
raw canonical shape-checked rule-derived certifiedInbound mentions (7)
Other subjects in dontopedia point AT this entity as a value. These are inverse relationships — e.g. "X motherOf this subject" — and answer questions the forward facts can't. Grouped by predicate.
achievesZeroSorryAchieves Zero Sorry(1)
- Project
ex:project
discussedTopicDiscussed Topic(1)
- Xenonfun
ex:xenonfun
discussesTopicDiscusses Topic(1)
- 2026 03 23 06 17 Message
ex:2026-03-23-06-17-message
impliesNeedForReproducibilityImplies Need for Reproducibility(1)
- Replication Crisis
ex:replication-crisis
isWorkingOnIs Working on(1)
- Xenonfun
ex:xenonfun
leveragesLeverages(1)
- Goal 3 Leverage Lean Proofs
ex:goal-3-leverage-lean-proofs
usesUses(1)
- Goal 3 Lean Validation
ex:goal-3-lean-validation
Other facts (10)
The long tail: predicates that appear too rarely to warrant their own section. Filter or scroll to find a specific one. Each row links to its source.
Timeline
Timeline axis is valid_time — when each source says the fact was true in the world, not when Dontopedia learned about it. Retracted rows are kept for provenance; coloured stripes indicate the context kind.
References (3)
ctx:discord/blah/watt-activation/part-579ctx:discord/blah/watt-activation/548- full textwatt-activation-548text/plain3 KB
doc:agent/watt-activation-548/342a0546-cc24-4a5f-b1a8-025ac45d5675Show excerpt
[2026-03-23 06:13] xenonfun: ``` ⏺ The WebGPU browser worker agent (webgpu-worker) is already building it — it's been running in the background. It's creating: 1. harmonic-server/static/resonate-worker.html — single-file browser worker…
ctx:discord/blah/watt-activation/576- full textwatt-activation-576text/plain3 KB
doc:agent/watt-activation-576/33bfdcdf-addf-4393-a22d-770fa671d7ceShow excerpt
[2026-03-26 15:31] xenonfun: Plan: Extract Commutator.Science Simulation Stack Context The commutator/simulation code (bivector field dynamics, distributed orchestration, protocol) is currently entangled with harmonic-core's neural net…
See also
Keep researching
Missing something or suspicious of what's here? Kick off a research session — a Claude agent will investigate, cite its sources, and file new facts into a dedicated context you can review before accepting into the shared view.