HoTTLean
Formalizing the Meta-Theory of HoTT in Lean
Warning: this blueprint is very outdated. Consult the GitHub README instead.

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

October 24, 2025