Theorem Proving and Provers Meeting

定理証明系・証明支援系に関する研究会

TPP 2026 は、2026年11月16日（月）から17日（火）まで、理化学研究所 革新知能統合研究センター（理研AIP）東京オフィスで開催されます。

日本語 English