课程、Python 与浏览器运行环境¶

这个项目追求的是公理、定义和实现之间清晰可见的对应关系，而不是高性能计算。

Python 的前置知识¶

基础语法视为已知。特殊方法如何接收运算符、装饰器如何替换函数、dataclass 如何生成方法，都会作为理解本实现所必需的内容讲解。

Zensical 与 Pyodide¶

页面由 Zensical 构建，代码通过 Pyodide 在浏览器的 Web Worker 中运行。第一次执行需要下载运行环境，代码不会发送到服务器。

教材的边界¶

自然数采用前驱链，因此大数会很慢。测试只能检查有限例子；对所有自然数的结论仍需要数学归纳法。