Bonjour @den62217, dès qu'ils auront fait les validations, pour TheoremReach, le délais est assez long (parfois jusqu'à 90 jours).

Bonjour, pourquoi je ne trouve plus theormReach? Merci

Bonjour @Francette, malheureusement ils nous ont actuellement suspendu car il y avait "peu" d'actifs et le taux de dévalidation était trop important...