Skip to main content
MathOverflow
Floris van Doorn's user avatar
Floris van Doorn's user avatar
Floris van Doorn's user avatar
Floris van Doorn
  • Member for 7 years, 5 months
  • Last seen more than 1 year ago
Profile Activity
Stats
280
reputation
2k
reached
1
answer
1
question
Communities
View all
Badges
This user doesn’t have any gold badges yet.
2
silver badges
7
bronze badges
Top tags
14
Score
1
Posts
50
Posts %
14
Score
1
Posts
50
Posts %
14
Score
1
Posts
50
Posts %
0
Score
1
Posts
50
Posts %
0
Score
1
Posts
50
Posts %
Top posts
answer
14
Available frameworks for homotopy type theory
Jun 15, 2021
question
2
Conservativity of language extension
Nov 24, 2018
Top network posts
View all network posts
19
Why do Calculus of Construction based languages use Setoids so much?
7
How can I apply a rewrite to only one term?