Build software better, together

Repository navigation

Merge queuemain

14 Queued

Waiting for required checks

feat: preserve Iris ordered resource algebras and recursive domain model

#727 opened and enqueued by Vilin97 • enqueued 1 day ago • Estimated merge in 12h 8m

Queue entry status details

Queue entry status details

Loading
Waiting for required checks

wrap long lines in Main declarations: in project card

#711 opened by loefflerd and enqueued by Vilin97 • enqueued about 20 hours ago • Estimated merge in 12h 7m

Queue entry status details

Queue entry status details

Loading
Not mergeable

fix axiom-audit checker to use Lean env rather than source parsing
Merge conflicts

#719 opened by loefflerd and enqueued by Vilin97 • enqueued about 20 hours ago • Estimated merge in 12h 5m

Queue entry status details

Queue entry status details

Loading
Waiting for required checks

Import the sharp critical-set bound for Latin squares

#710 opened and enqueued by Vilin97 • enqueued about 11 hours ago • Estimated merge in 12h 4m

Queue entry status details

Queue entry status details

Loading
Waiting

perf(KaltonRoberts): avoid library suggestions in the epsilon spine

#726 opened and enqueued by Vilin97 • enqueued about 11 hours ago • Estimated merge in 12h 3m

Queue entry status details

Queue entry status details

Loading
Waiting

Import the minimum universal MacMahon cube classification

#730 opened and enqueued by Vilin97 • enqueued about 11 hours ago • Estimated merge in 12h 1m

Queue entry status details

Queue entry status details

Loading
Waiting

Optimize EhrhartVolumeInequality arithmetic and cancellation proofs

#731 opened and enqueued by Vilin97 • enqueued about 11 hours ago • Estimated merge in 12h 0m

Queue entry status details

Queue entry status details

Loading
Waiting

Optimize SpherePacking proof elaboration and private imports

#732 opened and enqueued by Vilin97 • enqueued about 11 hours ago • Estimated merge in 11h 59m

Queue entry status details

Queue entry status details

Loading
Waiting

Reduce PointwiseComposition compiler memory and proof search

#733 opened and enqueued by Vilin97 • enqueued about 11 hours ago • Estimated merge in 11h 57m

Queue entry status details

Queue entry status details

Loading
Waiting

Keep discarded queue cleanup running after per-run failures

#736 opened and enqueued by Vilin97 • enqueued about 11 hours ago • Estimated merge in 11h 56m

Queue entry status details

Queue entry status details

Loading
Waiting

Reduce MisereGames recursive proof elaboration

#737 opened and enqueued by Vilin97 • enqueued about 11 hours ago • Estimated merge in 11h 55m

Queue entry status details

Queue entry status details

Loading
Waiting

Import Lie–Trotter product formula with commutator scaling

#738 opened and enqueued by Vilin97 • enqueued about 11 hours ago • Estimated merge in 11h 53m

Queue entry status details

Queue entry status details

Loading
Waiting

Optimize Chudnovsky proof elaboration and build dependencies

#739 opened and enqueued by Vilin97 • enqueued about 10 hours ago • Estimated merge in 11h 52m

Queue entry status details

Queue entry status details

Loading
Waiting

perf(ACMax): simplify arithmetic certificates and reduce compile time

#729 opened and enqueued by Vilin97 • enqueued about 5 hours ago • Estimated merge in 11h 51m

Queue entry status details

Queue entry status details

Loading

Estimated time to merge

11h 51m

30 day merge count 82