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

Browse the full CPP paper archive.