はじめに等式論理の話をして，そのあと等式論理に基づいて作ったかんたんな証明検査器の話をします． 練習問題を用意したので，参加する人は計算用紙と筆記用具を用意してください．
証明検査器は関数たった7個でできてます．プログラミング言語は Scheme です． コードはここに置きました．