Skip to main content
Proof Assistants Beta
Trebor's user avatar
Trebor's user avatar
Trebor's user avatar
Trebor
Moderator
  • Member for 2 years, 10 months
  • Last seen this week
Profile Activity
Stats
4,334
reputation
25k
reached
38
answers
27
questions
Communities
View all
About

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

Badges
View all badges
1
gold badge
9
silver badges
40
bronze badges
Top tags
View all tags
47
Score
18
Posts
28
Posts %
28
Score
4
Posts
6
Posts %
27
Score
9
Posts
14
Posts %
22
Score
9
Posts
14
Posts %
19
Score
6
Posts
9
Posts %
14
Score
5
Posts
8
Posts %
Top posts
View all questions and answers
question
27
What is Artin gluing, and how is it useful in proving meta-theoretic properties?
Feb 8, 2022
answer
18
What difficulties are there in basing a proof assistant on the $\lambda\mu$-calculus and has any proof assistant tried?
Feb 19, 2022
question
13
Incorporating Markov's principle in various proof assistants
Mar 6, 2022
question
13
Why are impredicative constructions used less in type theory than in material set theory?
Sep 22, 2022
question
12
What are some good (bad) examples of "green slime"?
Jul 19, 2022
question
11
Normalization by evaluation for extensional type theories
May 12, 2022
question
11
How much duplication does universe polymorphism actually save us?
Mar 10, 2022
question
10
What are the practical differences between intensional and extensional type theories?
Mar 16, 2022
question
10
Is there a proof assistant (or an embedding) for the (co)end calculus?
Mar 29, 2022
question
10
Replacing (strict) positivity with monotonicity on propositions
Apr 4, 2022
Top Meta posts
4
3
9
Syntax highlighting for proof assistants
6
Engineerings questions on internal details of Proof Assistant implementations, usage and modifications?
4
Policies on answers porting code
4
Renaming "extensional-equality" to "extensional-type-theory"
4
On tags for technical support
Top network posts
View all network posts
33
Is there an elementary expression for every real sequence?
22
Help me prove the Four Color Theorem!
16
How many points are needed to uniquely define an ellipse?
14
Church–Turing thesis for higher order functions
14
Missing $ inserted. Ha\"{i}