Blueprints

Lean-style blueprints rendered with plasTeX — no Lean toolchain required.

Expander Codes

Asymptotically good linear codes from expander graphs, with linear-time sequential and logarithmic-depth parallel decoding.