BerLean : a Lean Workshop in Berlin

I’m happy to announce that I’ll be collaborating with Michael Rothgang on a one day Workshop on formalising math in Lean. All infos can be found on Michael’s hompage (ADD LINK). Hope to see you there!