检查程序

正文第 26、33 章等提到的有限复算与固定种子的构想模拟程序及输出。它们只使用标准库，只验证有限构造，不是一般命题的证明，也不是现实实验。返回本书

• A06_checks.py
• A07_checks.py
• A08_checks.py
• A09_sim.py
• A09_sim_output.txt
• R3_check.py
• R4_checks_ch29_33.py
• R4_checks_ch34_41.py
• audit.py
• run_checks.py
• verify_models.py