All issues

Search results

[Question] Introduce a minimal potential-response core

Status: Open.

#40 In stat-lib/statlib;

· bocowgill opened on Aug 15, 2026

Bumping mathlib to db584cd would break the build

dependency-incompatibilityAutomated tracker opened by downstream-reportsAutomated tracker opened by downstream-reports

Status: Open.

#36 In stat-lib/statlib;

· github-actions opened on Aug 10, 2026

Prove equivalence of contiguity definitions through sequence

Status: Open.

#24 In stat-lib/statlib;

· zixiaowang17 opened on Jul 5, 2026

Golf the proof of Contiguous5.contiguous1_of_hasAntitoneBasis_le_cofinite

Status: Open.

#15 In stat-lib/statlib;

· CoolRmal opened on Jun 25, 2026

Prove that contiguous1 implies contiguous2

Status: Open.

#14 In stat-lib/statlib;

· CoolRmal opened on Jun 25, 2026

Prove that contiguous2 and contiguous3 are equivalent

Status: Open.

#13 In stat-lib/statlib;

· CoolRmal opened on Jun 25, 2026

Prove that contiguous3 implies contiguous1

Status: Open.

#12 In stat-lib/statlib;

· CoolRmal opened on Jun 25, 2026