Proof Assistants Beta
macbeth's user avatar
macbeth's user avatar
macbeth's user avatar
macbeth
  • Member for 1 year, 9 months
  • Last seen more than a week ago
Profile Activity
Stats
364
reputation
517
reached
2
answers
0
questions
Communities
View all
About

Assistant professor at Fordham University, working in Kähler geometry and in geometric analysis.

Badges
This user doesn’t have any gold badges yet.
1
silver badge
6
bronze badges
Top tags
17
Score
1
Posts
50
Posts %
17
Score
1
Posts
50
Posts %
7
Score
1
Posts
50
Posts %
7
Score
1
Posts
50
Posts %
7
Score
1
Posts
50
Posts %
7
Score
1
Posts
50
Posts %
Top posts
All Questions Answers
Score Newest
answer
17
Has there been any attempt at a tutorial that doesn't start with natural numbers?
Feb 9, 2022
answer
7
PDEs and proof assistants
Feb 11, 2022
Top network posts
View all network posts
17
Classification of symplectic surfaces
17
Dolbeault cohomology of Hopf manifolds
17
On a compact manifold, what kind of function can be the Jacobian of a diffeomorphism?
17
Is the metric completion of a Riemannian manifold always a geodesic space?
14
$\mathbb{Z}/2$ is to $\mathbb{Z}/3$ as K3 is to what?

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.