A Certifying Proof Assistant for Synthetic Mathematics in Lean. - Wojciech Nawrocki; Joseph Hua; Mario Carneiro; Yiming Xu; Spencer Woolfson; Shuge Rong; Sina Hazratpour; Steve Awodey (CPP, 2026)