MathOverflow
Jordan Mitchell Barrett's user avatar
Jordan Mitchell Barrett's user avatar
Jordan Mitchell Barrett's user avatar
Jordan Mitchell Barrett
  • Member for 5 years, 1 month
  • Last seen more than 2 years ago
Profile Activity
Stats
788
reputation
0
reached
0
answers
0
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
3
silver badges
1
bronze badge
Posts

This user hasn’t posted yet.

Top network posts
View all network posts
33
What is the endgoal of formalising mathematics?
26
How can I run GitHub Actions workflows locally?
16
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?