Welcome to the 16th Conference on Interactive Theorem Proving (ITP 2025) submissions site. For general information, see https://icetcs.github.io/frocos-itp-tableaux25/itp.
Submissions
Sign in to manage submissions.
Registration deadline: Thursday Mar 13, 2025, 11:59:59 AM UTC