@@ -46,7 +46,7 @@ die Arbeitsgruppe einzusteigen (z.B. für eine Master-Arbeit oder Promotion).
| 27. 05. 2021 | Rabe | Type-Dependent Equality | practice talk for CICM
| 03. 06. 2021 | holiday | |
| 10. 06. 2021 | Wagner, Rabe | OEIS in MMT | guided discussion of open problem
| 17. 06. 2021 | | |
| 17. 06. 2021 | Rabe (moderator) | Big Math and the One-Brain Barrier | reading group
| 24. 06. 2021 | Jonas Betzendahl | Formalising and Proving with Sudokus |
| 01. 07. 2021 | Navid Roux | [Systematic Translation of Formalizations of Type Theory from Intrinsic to Extrinsic Style](https://kwarc.info/people/frabe/Research/RR_softening_21.pdf) | practice talk for LFMTP
