Source: wikibot/interactive-theorem-proving-conference
= Interactive Theorem Proving (conference)
{wiki=Interactive_Theorem_Proving_(conference)}
Interactive Theorem Proving (ITP) is a conference that focuses on the development and application of techniques and tools for interactive theorem proving. This field combines ideas from mathematics, computer science, and logic to assist in the formal verification of theorems, algorithms, and systems through interactive proof systems.