durant le séminaire Spire, nous avons eu au moins 10 cas séparés où quelqu'un a dit : "et si nous intégrions cela dans une preuve et la vérifions" et c'est une toute nouvelle façon de penser. la génération rapide de preuves est une chose incroyable.