2025#

• Formalizacja twierdzenia Balinskiego-Younga w Lean 4, konferencja Hoborskiego, slides.

• Twierdzenie Balinskiego-Younga: O pułapkach proporcjonalnych podziałów, konferencja “Oblicze”, slides.