HoTTLean
Formalizing the Meta-Theory of HoTT in Lean

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

July 14, 2025