Elif Uskuplu
Elif Uskuplu
Affiliation: Indiana University Bloomington
Pages in this Program
Formalizing the Bruck-Ryser-Chowla Theorem: Combinatorial Design Theory in Lean
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated:
🔍 ↑