Demostración Interactiva de Teoremas (ITP)
- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Definición
Una metodología para producir pruebas formales verificadas por máquina combinando la guía humana con asistentes de prueba y lenguajes de tácticas para construir scripts de prueba que acepta un verificador.