Zulip Chat Archive

Stream: general

Topic: 2025 Fields Undergraduate Summer Research Program

Kevin Buzzard (Dec 13 2024 at 14:49):

This is the discussion thread for #announce > 2025 Fields Undergraduate Summer Research Program @ 💬

Ruben Van de Velde (Dec 13 2024 at 15:47):

I wonder if there's a citation for "most widely used proof assistant for mathematics"

Siddhartha Gadgil (Dec 14 2024 at 12:41):

The trick is to say "arguably ..." :smile:

Ruben Van de Velde (Dec 14 2024 at 15:25):

I thought it was "allegedly" :)

Last updated: May 02 2025 at 03:31 UTC