Skip to main content
Proof Assistants Beta
Matematiflo's user avatar
Matematiflo's user avatar
Matematiflo's user avatar
Matematiflo
  • Member for 1 year, 4 months
  • Last seen this week
Profile Activity
Stats
167
reputation
596
reached
0
answers
3
questions
Communities
About

Mathematician. My research interests lie in the area at the intersection of differential and algebraic geometry. I have worked in France, Japan, Colombia and Germany.

Badges
This user doesn’t have any gold badges yet.
1
silver badge
6
bronze badges
Top tags
0
Score
2
Posts
67
Posts %
0
Score
1
Posts
33
Posts %
0
Score
1
Posts
33
Posts %
0
Score
1
Posts
33
Posts %
0
Score
1
Posts
33
Posts %
Top posts
2
Equality of two functions
Apr 3, 2023
2
Recursive definition of a sum of squares
Jun 2, 2023
2
Using `decreasing_by` to prove termination in Lean 4
Feb 4
Top network posts
View all network posts
7
Why are local systems and representations of the fundamental group equivalent
7
Render notebook as Reveal slideshow in JupyterLab, 404 : Not Found
6
What is an Affine Cone?