定理証明・定理証明器に関する国内ワークショップTPP 2025のご案内

東北大学大学院情報科学研究科の共催にて，12月3日（水）・4日（木）に第21回定理証明・定理証明器に関するワークショップTPP 2025を開催いたします．詳しくはリンク先のWebサイトをご覧ください．