jeudi 21 janvier 2021

Forme

Je ne l'imaginais pas comme ça. fonction zeta de Riemann

Aucun commentaire:

Enregistrer un commentaire

Numina

22 juin 2026 : Numina me dit qu'elle vient de démontrer la conjecture de Goldbach en Lean à partir d'une formalisation en logique du...