Skip to main content
Proof Assistants Beta
domotorp's user avatar
domotorp's user avatar
domotorp's user avatar
domotorp
  • Member for 1 year, 9 months
  • Last seen more than a month ago
Profile Activity
Stats
131
reputation
2k
reached
0
answers
1
question
Communities
View all
About

I work at ELTE, Budapest, in the MTA-ELTE Combinatorial Geometry Research Group. I'm primarily interested in combinatorial geometry, complexity theory and combinatorics.

Badges
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
5
bronze badges
Top tags
0
Score
1
Posts
100
Posts %
0
Score
1
Posts
100
Posts %
0
Score
1
Posts
100
Posts %
Top posts
question
2
Make ChatGPT write formal proof from natural language proof
Mar 16, 2023
Top network posts
View all network posts
49
If a unitsquare is partitioned into 101 triangles, is the area of one at least 1%?
45
Can we color Z^+ with n colors such that a, 2a, ..., na all have different colors for all a?
39
Is there a finite family of functions such that the max of any two functions can be dominated by a third?
34
Does LOGLOG = NLOGLOG?
33
Is there a natural problem on the naturals that is NP-complete?