J'ai entendu parler d'initiatives telles que lean qui prétendent permettre une preuve validée par l'ordinateur.
Est-ce que tu as entendu parler de ce genre d'outils ?
Est-ce que ça pourrait faire une entrée progressive dans un ouvrage déjà énorme tel que le frido ? (Tant d'un point de vue théorique que pratique.)
# Typos, erreurs et preuves
Posté par T_T_T . En réponse à la dépêche Sortie du Frido pour les Matheux. Évalué à 1.
J'ai entendu parler d'initiatives telles que lean qui prétendent permettre une preuve validée par l'ordinateur.
Est-ce que tu as entendu parler de ce genre d'outils ?
Est-ce que ça pourrait faire une entrée progressive dans un ouvrage déjà énorme tel que le frido ? (Tant d'un point de vue théorique que pratique.)