ETPS

Un article de Wikipédia, l'encyclopédie libre.
Cet article est une ébauche concernant les logiciels et les mathématiques.
Vous pouvez partager vos connaissances en l’améliorant. (Comment ?).

ETPS (1986) est un assistant de preuve basé sur le démonstrateur TPS (Theorem Proving System), et est utilisé par les étudiants, afin qu'ils puissent prouver des théorèmes interactivement.

[modifier] Liens externes