Démonstration Interactive de Théorèmes

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Une méthode de production de preuves formelles vérifiées par machine, combinant l'orientation humaine avec des assistants de preuve et des langages de tactiques pour construire des scripts de preuve acceptés par un vérificateur.