Julie Cailler updated the EuroProofNet/europroofnethub.io.git repository by enhancing its website content to better serve the research community. She integrated the Goéland theorem prover resource into the Tools page and added a new ABZ publication to the Publications list, ensuring that users had access to the latest developments. Julie focused on documentation quality and content discoverability, using Markdown to maintain consistency and clarity across updates. While the scope of work was limited to a single feature over one month, her contributions addressed the need for up-to-date resources, supporting both researchers and practitioners who rely on the EuroProofNet hub for information.