>>308
Goedelがある論文の中で
これこれのformal proofは、まともに書くと長くなるが、
これこれメカニズムを入れれば、短縮できる、みたいな
証明工学なことにも触れているのは流石だ、と言って
林晋が褒めてたかと

もうそのページ消されたのでInternet Archive探さないと残ってないっぽいけど