RT @axiommathai : De Putnam (démonstration formelle de théorèmes) à la découverte mathématique de novo, venez réaliser de grands projets avec nous chez Axiom
Chargement du thread
Récupération des tweets originaux depuis X pour offrir une lecture épurée.
Cela ne prend généralement que quelques secondes.