Computer Science
Trebor's user avatar
Trebor's user avatar
Trebor's user avatar
Trebor
  • Member for 5 years, 3 months
  • Last seen this week
Profile Activity
Stats
170
reputation
424
reached
5
answers
2
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.
This user doesn’t have any silver badges yet.
8
bronze badges
Top tags
View all tags
3
Score
1
Posts
14
Posts %
3
Score
1
Posts
14
Posts %
3
Score
1
Posts
14
Posts %
3
Score
1
Posts
14
Posts %
3
Score
1
Posts
14
Posts %
2
Score
1
Posts
14
Posts %
Top posts
All Questions Answers
Score Newest
answer
3
Is this solution for the Turing's "halting" problem correct?
Jul 5, 2021
answer
2
Uncurrying and Polymorphism
Jun 22, 2020
question
1
Is there a good way to hash abstract binding trees?
Jun 3, 2019
question
1
Numerically solving an ode with infinitely many variables of which only finitely many are significant in magnitude
Feb 27, 2021
answer
0
Making a recursive formula for finding amount of ways to spend money on beer
Aug 16, 2018
answer
0
Deriving lower and upper bounds for T(n) = T(n-1) + T(n-2) + 10
Mar 12, 2019
answer
0
Is there a good way to hash abstract binding trees?
Oct 27
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.