list

6260 notes: 词典序度量、互递归、终止性与第一份归纳证明

12 minute read Published: 2026-08-31

6260 notes: termination1——decreases、模子与两次读数

19 minute read Published: 2026-08-29

6260 notes: 列表构建

12 minute read Published: 2026-08-15