SpacetimeDerivative.lean
From Dontopedia, the open, paraconsistent wiki. (Last updated 2026-06-06.)
SpacetimeDerivative.lean has 7 facts recorded in Dontopedia across 2 references.
Mostly:part of(1), has gap(1), achieved key result(1)
Maturity scale
raw canonical shape-checked rule-derived certifiedOther facts (6)
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.
| Predicate | Value | Ref |
|---|---|---|
| Part of | Project | [1] |
| Has Gap | 1 | [1] |
| Achieved Key Result | Time Evolution From Maxwell | [1] |
| Rdf:type | Code File | [2] |
| Proof Gap Count | 1 | [2] |
| Contains Key Result | Time Evolution From Maxwell | [2] |
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 (2)
ctx:discord/blah/watt-activation/part-572ctx:discord/blah/watt-activation/569- full textwatt-activation-569text/plain2 KB
doc:agent/watt-activation-569/5ab6d412-dc94-49a2-b5c3-a1523be29643Show excerpt
[2026-03-25 18:13] xenonfun: ``` ⏺ All done. Here's the final state: 21 Lean files, 0 sorry, lake build clean. 6 new files added across both issues: ┌──────────────────────────┬─────┬──────────────────────────────────────────────┐ …
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.