链表式证明卡是使用 Anki 记忆证明的方法。在链表式证明卡中，每一张卡片会询问证明的下一步是什么，所以这些卡片形成了链表这一数据结构（或者说是「累加」的链表，每张卡片都包含了卡片之前的所有证明步骤，而不仅仅是上一个步骤）。
实际上我不喜欢「链表式证明卡」这个名字，因为这听起来像是每张卡片都是一个链表，而没有体现出卡片的集合形成了一个链表。或许「链表证明法」或者什么别的名字会更好？
分析
我认为仅仅尝试将证明组织起来的卡片并不是一个好主意。这总是会在你能回答出证明的下一步前花费时间来回想证明的上下文。并且我感觉当你只是想讲整个证明写为一张「大」卡片的一部分时，回答一些任意的步骤没有什么帮助。（当然，当你在写证明的时候卡住，你可以制一张「小」卡片来回答一个特定的问题）——或许另一种说法是，你不「需要」能任意访问证明步骤。你需要的只是能够从开头写到结尾；你需要将证明的故事从头到尾讲出来的能力。并且，为了得到后一种的能力，去做前者的练习是一条充满痛苦的路。（叙事者并不需要能够从故事的任意片段开始讲述）。这条论坛帖子表达了一种类似的感觉：「别尝试说服我你能够从中间步骤开始解决一个简单问题，因为我认为那是胡说八道。解数学问题是整体的，是从头到尾的一个过程。你的思路需要回顾你从哪里来，要展望你要到哪里去。你不能只解半道积分……」
给问题做分步证明卡（把证明分解成许多张卡）：「下一步」 往往有许多可能，所以有个情况很烦人，就是我不记得确切的下一步，但我可以给出合理的下一步，但这步骤不是我在卡片上写下的。
最近我感到沮丧的一件事是，当我添加关于证明的不同部分的卡片时，我常常不能迅速回忆起证明的陈述/背景，所以我就只能「呃......」，或者也许我可以迅速回答卡片，却不能回忆起证明的细节（这本身就很令人担忧）。这就像，这些证明卡的成本太高，无法回忆，但我却想知道它们。也许有一个问题是，有些证明没有名字（例如，Peter Smith 的 Goedel 书中的一个证明是没有名字的不完全性结果，以及史迪威的反向数学书中关于无限二叉树的那个证明）。如果我知道证明的名字，那么我也许可以把它作为「中心节点」，从名字可以联系到其他卡片（包括证明的声明）。
我注意到的另一件事，与上述情况有关，就是有些卡片只是在加强某一个联系。但我需要不断制作卡片，让知识的图中连接越来越密集。
另见
链接到本文
Thoughts Memo 汉化组译制
原文：Linked list proof card