[ Formalising Proofs and
GenAI for Mathematical Discovery]
Launching June, 2025