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
The deadline for registering submissions has passed.
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.
The deadline for registering submissions has passed.