Content for Bucharest Autumn School
Primary LanguageLean
Content for Lean 4 part of ILDS Coq and Lean Autumn School 2023