項書き換えシステム入門(外部記事)
http://www.nue.ie.niigata-u.ac.jp/toyama/lab-intro/TRS-intro/index.html
#外部記事
#定理証明支援系
#項書き換え