Post #2335239
2026-04-28 05:21 UTC
@Enthalpiste@social.sciences.re Il y a des grands succès chez des gens qui utilisent des assistants de preuve.
Replies (1)
-
@Enthalpiste@social.sciences.re 2026-04-28 05:44
@MonniauxD@social.sciences.re Oui j'ai cru comprendre. Ça me désole un peu à titre personnel mais c'est aussi du au fait que c'est du langage formel et facilement vérifiable. Dans la plupart des déploiements en industrie, je ne pense pas que ça soit le cas.