Sujet : Re: 0!=1 ?
De : me (at) *nospam* plan.net.ivalid (robby)
Groupes : fr.sci.mathsDate : 16. Mar 2023, 07:13:40
Autres entêtes
Organisation : Posted through news.alphanet.ch
Message-ID : <tuuc2k$4v6$2@shakotay.alphanet.ch>
References : 1 2 3
User-Agent : Mozilla/5.0 (X11; Linux x86_64; rv:102.0) Gecko/20100101 Thunderbird/102.7.1
Le 15/03/2023 à 11:38, maixxx07 a écrit :
Un système formel
Un système symbolique
du point de vu du logiciel d'aide aux maths, ce sont de synonymes ;-)
-- Fabrice
…