Mathlib.Algorithms

Reusable finite-algorithm infrastructure for verified scans and data structures.

Monotone­Window­Deque 76 core · 69 supporting · 10 submodules This umbrella module exports a reusable, paper-independent API for finite ordered streams, nondecreasing contiguous windows, a rightmost-stable monotone deque, scan correctness, exact event accounting, window-width memor