Dontopedia

Lean Proof

From Dontopedia, the open, paraconsistent wiki. (Last updated 2026-06-06.)

Lean Proof has 3 facts recorded in Dontopedia across 3 references.

3 facts·3 predicates·3 sources
Maturity scale raw canonical shape-checked rule-derived certified

Inbound mentions (6)

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.

achievedAchieved(1)

associatedConceptAssociated Concept(1)

contentContent(1)

isNotIs Not(1)

notIsNot Is(1)

verifiedByVerified by(1)

Other facts (3)

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.

3 facts
PredicateValueRef
AddressesReplication Crisis[1]
Associated Conceptreproduced[2]
QualityMathematically Correct[3]

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.

3 undated
—
addressesblah/papers/part-12
ex:replication-crisis
—
associatedConceptblah/papers/12
reproduced
—
qualityblah/random/42
ex:mathematically-correct

References (3)

3 references
  1. [1]Part 121 fact
    ctx:discord/blah/papers/part-12
  2. [2]121 fact
    ctx:discord/blah/papers/12
    • full textpapers-12
      text/plain3 KBdoc:agent/papers-12/fb2077d5-7f6d-46d0-bf07-2b0172e4d3f3
      Show excerpt
      [2026-03-28 10:21] rolandnsharp7643: (Roland Sharp should forward this email to someone who's registered as an endorser for the cs.LG (Learning) subject class of arXiv.) Roland Sharp requests your endorsement to submit an article to the cs…
  3. [3]421 fact
    ctx:discord/blah/random/42
    • full textrandom-42
      text/plain3 KBdoc:agent/random-42/7fad699d-2d37-49ab-8bb6-cc0aaf1d8540
      Show excerpt
      [2026-03-22 18:03] lisamegawatts: i made up the clifford lohe by unifying two seemingly different areas into one framework, and the paper is both a mathematical proof of the model, its application across different domains, and the solution …

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.

↑