Code Golf
Trebor's user avatar
Trebor's user avatar
Trebor's user avatar
Trebor
  • Member for 4 years
  • Last seen more than a month ago
Profile Activity
Stats
749
reputation
89
reached
4
answers
1
question
Communities
View all
About

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

Badges
View all badges
This user doesn’t have any gold badges yet.
3
silver badges
7
bronze badges
Top tags
3
Score
5
Posts
100
Posts %
3
Score
4
Posts
80
Posts %
0
Score
1
Posts
20
Posts %
Top posts
All Questions Answers
Score Newest
question
5
Challenges with an oracle
Jun 9, 2021
answer
1
Sandbox for Proposed Challenges
Jun 18, 2020
answer
1
Sandbox for Proposed Challenges
Jun 22, 2020
answer
1
Sandbox for Proposed Challenges
May 1, 2021
answer
0
Sandbox for Proposed Challenges
Jun 27, 2020
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.