Qu'est-ce qui est plus addictif entre la lean et le Lean ?

Ça marche. J'ai tilté irrationnellement sur "accentué", désolé 🫣

(Ce n'est pas une histoire d'accent [l'accent est toujours sur la première syllabe du mot en hongrois], c'est une histoire de longueur.)

Ce screen peut aller direct au MoMA !

Incroyable anecdote !

Alors, oui mais non.

Mieux : faire une base de données de ces bases de données ! (c'est un peu ce que je fais sur beranger-seguin.fr/bookmarks)

Je dois mentionner topology.pi-base.org, qui est une base de données de ces propriétés/implications.

J'ajouterai :
- carte des sites sur les schémas + liens entre eux pbelmans.ncag.info/topologies-c...
- carte de l'univers pour logicien·ne·s www.forkinganddividing.com

Les boulangeries qui forcent pour appeler le pain suisse "drop", on vous voit.

(ça me fait vraiment mourir de rire d'imaginer quelqu'un commencer à infodump sur les groupes de Mathieu auprès d'un chauffeur de taxi sans raison logique)

Toi dans plusieurs mois « J'ai croisé le panneau Janko, là, au passage piéton... »

Autres idées en vrac : un peu de géométrie tropicale light; le combinatorial Nullstellensatz; les fins et cofins; de la théorie de Ramsey superlight. L'idée c'est qu'il faut que ce soit fun et un peu visuel.

Je dis cinq-vingt-seize, pas déso.