Merge queue · leanprover/lean4 · GitHub

Merge queuemaster

2 Queued

Waiting for required checks

feat: align {List/Array/Vector}.{foldl, foldr, foldlM, foldrM} lemmas

#6707 opened and enqueued by kim-em • enqueued 4 minutes ago • Estimated merge in 27m 59s

Queue entry status details

Queue entry status details

Loading
Waiting for required checks

feat: complete alignment of {List,Array,Vector}.{mapIdx,mapFinIdx}

#6701 opened and enqueued by kim-em • enqueued 3 minutes ago • Estimated merge in 29m 40s

Queue entry status details

Queue entry status details

Loading

Estimated time to merge

29m 40s

30 day merge count 205