Code Review
Trebor's user avatar
Trebor's user avatar
Trebor's user avatar
Trebor
  • Member for 1 year, 9 months
  • Last seen more than a week ago
Profile Activity
Stats
153
reputation
295
reached
0
answers
1
question
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.
This user doesn’t have any silver badges yet.
3
bronze badges
Top tags
0
Score
1
Posts
100
Posts %
0
Score
1
Posts
100
Posts %
0
Score
1
Posts
100
Posts %
Top posts
All Questions Answers
Score Newest
question
5
Breadth first search on trees in Haskell
Aug 11, 2021
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.