Lean Proofs Corrected

as donto believed on

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

Lean Proofs Corrected has 9 facts recorded in Dontopedia across 1 reference.

9 facts·9 predicates·1 sources

Mostly:all machine checked by(1), has axiom count(1), has definition count(1)

Other facts (9)

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.

9 facts

Predicate	Value	Ref
All Machine Checked by	Lean 4	[1]
Has Axiom Count	0	[1]
Has Definition Count	209	[1]
Has Lemma Count	0	[1]
Has Sorry Count	0	[1]
Has Structure Instance Count	17	[1]
Has Theorem Count	1023	[1]
Has Verified Count	1023	[1]
Spans File Count	161	[1]

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.

9 undated

—

allMachineCheckedByblah/watt-activation/part-579

ex:lean-4

—

hasAxiomCountblah/watt-activation/part-579

—

hasDefinitionCountblah/watt-activation/part-579

209

—

hasLemmaCountblah/watt-activation/part-579

—

hasSorryCountblah/watt-activation/part-579

—

hasStructureInstanceCountblah/watt-activation/part-579

—

hasTheoremCountblah/watt-activation/part-579

1023

—

hasVerifiedCountblah/watt-activation/part-579

1023

—

spansFileCountblah/watt-activation/part-579

161

References (1)

1 references

[1]Part 5799 facts
ctx:discord/blah/watt-activation/part-579

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.

Lean Proofs Corrected

Other facts (9)

Timeline

References (1)

See also

Keep researching