Preuve interactive

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

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

Cet article est issu de wikipedia. Text licence: CC BY-SA 4.0, Des conditions supplémentaires peuvent s’appliquer aux fichiers multimédias.