課程、Python 與瀏覽器執行環境¶
本專案追求公理、定義與實作之間清楚可見的對應，而不是高效能計算。
Python 先備知識¶
基本語法視為已知。特殊方法如何接收運算子、裝飾器如何替換函式、dataclass 如何產生方法，都會作為理解本實作所需的內容講解。
Zensical 與 Pyodide¶
頁面由 Zensical 建置，程式透過 Pyodide 在瀏覽器的 Web Worker 中執行。第一次執行需下載環境，程式不會送到伺服器。
教材的界線¶
自然數採用前驅鏈，因此大數會很慢。測試只能檢查有限例子；關於所有自然數的結論仍需數學歸納法。