Dontopedia
Explore

Lean Type System Genealogy Message

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

Lean Type System Genealogy Message has 4 facts recorded in Dontopedia across 1 reference.

4 facts·4 predicates·1 sources

Mostly:concludes with statement(1), contains code block(1), has timestamp(1)

Maturity scale raw canonical shape-checked rule-derived certified

Concludes With StatementconcludesWithStatement

  • got these so far[1]all time · Part 68

Contains Code BlockcontainsCodeBlock

Has TimestamphasTimestamp

  • 2026-03-29 23:03[1]all time · Part 68

Shares Progress UpdatesharesProgressUpdate

Inbound mentions (1)

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.

sentMessageSent Message(1)

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.

concludesWithStatementblah/tpmjs/part-68
got these so far
containsCodeBlockblah/tpmjs/part-68
ex:lean-type-system-definition
hasTimestampblah/tpmjs/part-68
2026-03-29 23:03
sharesProgressUpdateblah/tpmjs/part-68
ex:true

References (1)

1 references
  1. [1]Part 684 facts
    customctx:discord/blah/tpmjs/part-68

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.