定理証明に関するワークショップTPP2015のお題(TPPmark)が公開されていた。　https://sites.google.com/a/progsci.info.kanagawa-u.ac.jp/tpp2015/tpp-mark 今年のお題は論理式の正規化について。

TPP2015は、せっかく近くなのに、別の用事にかぶってしまっていて参加できず、残念……