MathOverflow

Notable Question

 Notable Question
Question with 2,500 views. This badge can be awarded multiple times.

earned this badge 2 times.
[solved] sequent calculus as programming language
Awarded Aug 10, 2021 at 13:27
Motivation of filtered colimits
Awarded Jul 4, 2017 at 4:46

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.