As of May 31, 2023, we have updated our Code of Conduct.
MathOverflow

Nice Question

 Nice Question
Question score of 10 or more. This badge can be awarded multiple times.

earned this badge 2 times.
Motivation of filtered colimits
Awarded May 11, 2021 at 19:56
[solved] sequent calculus as programming language
Awarded Jun 26, 2016 at 13:01

Others with this badge

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.