Skip to content

Repository files navigation

lra-volume-ii

Volume II: Origins of Numbers - Overleaf-ready standalone repository.

Structure

volume-ii.tex                    - full-volume root (Overleaf main document)
volume-<roman>-<book>.tex - individual book roots
bibliography/             - per-book bibliography shards
volume-ii/                - all LaTeX content for this volume

Shared LaTeX infrastructure comes from sibling ../lra-common; do not commit a local common/ directory here.

Overleaf

Use volume-ii.tex for the full volume, or one of the book roots:

volume-ii-discrete-number-systems.tex, volume-ii-the-continuum.tex

For Overleaf, provide common/ beside the TeX roots as local project staging only. Edit shared infrastructure in lra-common.

Building Locally

Validate only:

python ..\lra-governance\scripts\build_volume.py --root . --validate-only

Build all full-volume and book roots in digital mode:

python ..\lra-governance\tools\governance\build_volume_docker.py --root . --common-root ..\lra-common --output-dir build\digital

Build all full-volume and book roots in print mode:

python ..\lra-governance\tools\governance\build_volume_docker.py --root . --common-root ..\lra-common --print-edition --output-dir build\print

Build one book root:

python ..\lra-governance\tools\governance\build_volume_docker.py --root . --common-root ..\lra-common --tex-root volume-ii-discrete-number-systems.tex --output-dir build\digital

About

Volume II of Learning Real Analysis: Peano systems and rigorous construction of N, Z, Q, R, and C.

Topics

Resources

Stars

Watchers

Forks

Releases

Packages

Used by

Contributors

Languages