Grok Build

Radar

Updated never · scanning now

Formal Proof Library

Research drafts and complete Lean formalizations for polynomial unimodality and cyclic stack sorting.