Videos

Proofs and the tools they use

Presenter
April 27, 2025
ICERM
Event: Autoformalization for the Working Mathematician
Play Video
Supplementary Materials