Joyeux troisième anniversaire à moi qui tente d'écrire des preuves Coq avec GPT-3.5 Turbo, qui échoue et où je me dis « ouais, ça ne mènera nulle part ».
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.