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. Le texte est sous licence Creative Commons – Attribution – Partage à l’identique. Des conditions supplémentaires peuvent s’appliquer aux fichiers multimédias.