Skip to main content
Area 51
Trebor's user avatar
Trebor's user avatar
Trebor's user avatar
Trebor
  • Member for 2 years, 9 months
  • Last seen more than a month ago
  • Complexified vector space
Profile Activity
Stats
201
reputation
0
reached
0
answers
0
questions
Communities
View all
About

Student.

Badges
This user doesn’t have any gold badges yet.
1
silver badge
2
bronze badges
Posts

This user hasn’t posted yet.

Top network posts
View all network posts
33
Is there an elementary expression for every real sequence?
27
What is Artin gluing, and how is it useful in proving meta-theoretic properties?
22
Help me prove the Four Color Theorem!
18
What difficulties are there in basing a proof assistant on the $\lambda\mu$-calculus and has any proof assistant tried?
15
How many points are needed to uniquely define an ellipse?