Reproducibility

Read the complete reproducibility guide.

The three principal checks are:

$ cd manuscript
$ latexmk -pdf -interaction=nonstopmode -halt-on-error knot_fewnomials.tex

$ python3 scripts/repro/fewnomial_bound_audit.py \
    --check-doubly-alternating 50 100 500 2000 10000

$ cd formal
$ lake exe cache get
$ lake build StickKnots

The Python audit uses only the standard library. The Lean and LaTeX dependency versions are controlled by the files in their respective project directories.