Si j'avais une démonstration pour un problème du prix du millénaire, je partagerais probablement d'abord l'idée de base de la démonstration avant de passer directement à Lean.
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.