Lean-based certifier
From Dontopedia, the open, paraconsistent wiki. (Last updated 2026-06-06.)
Lean-based certifier has 1 fact recorded in Dontopedia across 1 reference.
Maturity scale
raw canonical shape-checked rule-derived certifiedInbound 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.
includesIncludes(1)
- Postgresql Extension
ex:postgresql-extension
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 (1)
ctx:discord/blah/general/135- full textgeneral-135text/plain3 KB
doc:agent/general-135/3d03c416-80e8-417d-a12d-bb2a4b3790aeShow excerpt
[2026-04-17 09:52] ajaxdavis: ``` A PostgreSQL extension implementing a bitemporal, paraconsistent quad store with named graphs (contexts), an open-world predicate registry, a Lean-based shape and derivation certifier, and a composition…
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.