Big proof: formalizing mathematics at scale

BPRW03

9 June 2025 to 13 June 2025

Supported By