Martin Constantino-BodinJun 20, 2017
En fait, les conflits #Git lorsqu’ils apparaissent au milieu d’une preuve #TeX, c’est une tentative d’utilisation d’un algorithme génétique pour faire la preuve en question ☺
Show threadAlan 🎲 
@MartinShadok J'espère que tu ne parles pas de notre papier ! :)
Jun 20, 2017 at 4:29pmWeb
Show threadMartin Constantino-BodinJun 20, 2017
@brab On a eu une chaîne de conflits compliqués ce matin… ça m’a donné cette idée. J’espère que personne ne compte la mettre en pratique ! 😅
Show threadAlan 🎲 Jun 20, 2017
@MartinShadok j'ai eu de la chance, je n'ai rien vu…