Lean guide (PDF)

Paper XI: Packets, Arithmetic Realization, and Conditional Comparison

Paper_XI_Lean_Guide_v1.1.0.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: 7df5d6a03c93431f2dc802df6d3209cdc0bc87026ff32f0dd56b576a2165249a

Original source on GitHub

Back to Paper XI: Packets, Arithmetic Realization, and Conditional Comparison