Sept personnes préfèrent faire de la preuve en Coq ! Sans parler du fait même que l'option apparaisse dans le sondage. Probablement un paradoxe temporel dont l'issue engendrerait une réaction en chaîne qui pourrait déchirer le tissu même du continuum espace-temps, provoquant la destruction totale de l'Univers...
# Je me suis réveillé dans une dimension parallèle
Posté par Perthmâd . En réponse au sondage Ce que je préfère en informatique / programmation / codage c'est.... Évalué à 5.
Sept personnes préfèrent faire de la preuve en Coq ! Sans parler du fait même que l'option apparaisse dans le sondage. Probablement un paradoxe temporel dont l'issue engendrerait une réaction en chaîne qui pourrait déchirer le tissu même du continuum espace-temps, provoquant la destruction totale de l'Univers...