User Jordan Mitchell Barrett - MathOverflow Meta

Jordan Mitchell Barrett

Member for 4 years, 6 months
Last seen more than 1 year ago

Stats

788

reputation

0

reached

0

answers

0

questions

Loading…

Communities

Badges

View all badges

This user doesn’t have any gold badges yet.

3

silver badges

Yearling

× 3

Mar 2, 2022

1

bronze badge

Supporter

Dec 16, 2020

Posts

This user hasn’t posted yet.

Top network posts

View all network posts

32

What is the endgoal of formalising mathematics?

21

How to run GitHub Actions workflows locally?

14

GitHub Actions - copy git `user.name` and `user.email` from last commit

12

Could we ever hope to integrate all functions?

12

Structure on $\mathbb{R}$ such that homomorphisms $\mathbb{R} \to \mathbb{R}$ are exactly polynomials?