HoTTLean
Formalizing the Meta-Theory of HoTT in Lean

Steve Awodey Mario Carneiro Sina Hazratpour Joseph Hua Wojciech Nawrocki Spencer Woolfson

September 12, 2025