User Keefer Rowan - MathOverflow Meta

Keefer Rowan

Member for 5 years, 2 months
Last seen more than 1 year ago

cims.nyu.edu/~kjr9750
NYC, NY, USA

Stats

324

reputation

0

reached

0

answers

0

questions

Loading…

Communities

About

Math PhD Student at NYU's Courant Institute.

Badges

This user doesn’t have any gold badges yet.

1

silver badge

Yearling

Nov 9, 2022

1

bronze badge

Autobiographer

Jan 31, 2021

Posts

This user hasn’t posted yet.

Top network posts

View all network posts

10

Strong deformation retract of a singleton implies locally path connected at that point?

9

Did John Tesh win 6 Emmys and an AP award for investigative journalism?

8

A general picture of formal verification in software

8

Is the $\sigma$-algebra generated by weak topology of (non-separable) Banach space equal Borel $\sigma$-algebra?

7

Why does Archive of Formal Proofs use Isabelle/HOL as opposed to Isabelle/ZF?