[ Formalising Proofs and
GenAI for Mathematical Discovery]

Launching Aug, 2025

Register your interst by joining the waitlist