CMSA New Technologies in Mathematics: Breaking the one-mind-barrier in mathematics using formal verification
SEMINARS, CMSA EVENTS
September 14, 2022 2:00 pmIn this talk I will argue that formal verification helps break the one-mind-barrier in mathematics. Indeed, formal verification allows a team of mathematicians to collaborate on a project, without one person understanding all...
Read more