Jekyll2026-06-02T13:02:50+00:00https://yaeldillies.github.io/feed.xmlYaël Dillies’s webpageAdditive combinatorics and formalisation