
Verification code for M. Badger, “An exact formula for optimal axis-parallel packing of eight squares.” contains verify_eight_squares.py (version 1.1.0) and the LaTeX source of the paper (version of October 20, 2026). Run python3 verify_eight_squares.py --tex 8-square.tex from that folder; see its README for what is checked.
