02 Jun 2025 Symposium Formalizing mathematics and dependent types 02 Jun 2025 Share Facebook LinkedIn Bluesky Threads Copy url