vendredi 22 août 2025

Triangle de Kandinsky

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...