Excited to see this paper finally appear! It's a review of the field we are calling "the mathematics of mathematics", a subfield of Science of Science but specifically applied to mathematics (broadly construed). With @ronbuckmire.bsky.social @nativemath.bsky.social @arvm.bsky.social et al.