Preuve interactive

Preuve interactive peut faire référence à plusieurs contextes : les assistants de preuve ; les systèmes de 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.