Area 51
Trebor's user avatar
Trebor's user avatar
Trebor's user avatar
Trebor
  • Member for 1 year, 10 months
  • Last seen more than a month ago
Profile Activity
Stats
201
reputation
0
reached
0
answers
0
questions
Communities
View all
About

I'm an undergraduate student interested in maths and type theory.

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?
23
What is Artin gluing, and how is it useful in proving meta-theoretic properties?
22
Help me prove the Four Color Theorem!
17
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?

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.