02 Jun 2025 Symposium Formalizing mathematics and dependent types 02 Jun 2025 Share Facebook Linkedin Copy url