Verification Series

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

18th February 2020, 11:00 add to calender