ITP Interface

A shared interface connecting learning and proving systems to interactive theorem provers.

• Developer / Organization: Trishul research group and contributors
• Category: Open-source skills & interfaces
• Purpose: Connect learning systems to interactive theorem provers.
• Key features: An interface to interactive theorem provers for data collection and automated proving workflows.
• Availability: Open-source software; MIT
• License: MIT (source (opens in a new tab))
• Website / Source code: https://github.com/trishullab/itp-interface (opens in a new tab)
• Version: Source package: 1.12.0 (not a GitHub release)
• Version source: Official release or documentation (opens in a new tab)
• Last checked: 2026-11-01