Lean guide (PDF)

Paper I: Typed Operator Systems, Seed Rank, and Exact Packet Coordinates

Paper_I_Lean_Guide_Final.pdf

Expand readerOpen PDF directlyDownload PDF

Use the reader toolbar to search, choose a page, zoom or print. If the reader does not load, open or download the PDF directly.

Other PDFs for this work

Original file and source record

This copy matches the recorded source file. Its publication here does not change the work’s review status.

SHA-256: cc516c7a40b78121d07dccf7aec258920c499efe7bbf4937754f0e272420e509

Original source on GitHub

Back to Paper I: Typed Operator Systems, Seed Rank, and Exact Packet Coordinates