https://math.duke.edu/mathplus/2024/formalization-mathematics
Formalization of mathematics | Department of Mathematics
Project leader: Professor Colleen Robles Project managers: Stavan Jain, Ricardo Prado Cunha, Anoushka Sinha Team members: Will Harris, Clara Henne, William Ho,...
formalization of mathematicsdepartment