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. Trouvé sur https://fr.wikipedia.org/wiki/ETPS
Aucun résultat n’a été trouvé dans l’encyclopédie.
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.