Preuve interactive

Cette page d’homonymie répertorie les différents sujets et articles portant le même nom.

Preuve interactive peut faire référence à plusieurs contextes :

• les assistants de preuve ;
• les systèmes de preuve interactive.