Spencer Woolfson

According to our database, Spencer Woolfson authored at least 1 paper in 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

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

Proceedings of the 15th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2026