HoTTLean
Formalizing the Meta-Theory of HoTT in Lean

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

August 1, 2025