ParentFull threadgravifer·We should rename Burbaki to BoubakikiÉléments de géométrie linguistique (no, not a thing)View on HN