Lightning Talk: Experiences in the meeting on Formal methods in Mathematics/Lean together 2020

18^th February 2020, 11:00
Alexei Lisitsa