Objet : Mailing list of the reading group on realizability (2025)

Description : A mailing list to organise the local reading group on realizability, started in September 2025.