Hausdorff Research Institute for Mathematics

Activity: Visiting an External Institution › Visiting an external academic institution

Description

Visiting researcher during the special trimester "Prospects for Formalised Mathematics"
Period26 May 2024 → 8 Jun 2024
VisitingHausdorff Research Institute for Mathematics
Degree of RecognitionInternational