Proof Assistants Beta
Trebor's user avatar
Trebor's user avatar
Trebor's user avatar
Trebor
Moderator
  • Member for 1 year, 10 months
  • Last seen this week
Profile Activity
Stats
3,688
reputation
19k
reached
31
answers
24
questions
Communities
View all
About

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

Badges
View all badges
1
gold badge
6
silver badges
34
bronze badges
Top tags
View all tags
43
Score
18
Posts
33
Posts %
26
Score
4
Posts
7
Posts %
23
Score
8
Posts
15
Posts %
18
Score
9
Posts
16
Posts %
18
Score
4
Posts
7
Posts %
14
Score
5
Posts
9
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
question
23
What is Artin gluing, and how is it useful in proving meta-theoretic properties?
Feb 8, 2022
answer
17
What difficulties are there in basing a proof assistant on the $\lambda\mu$-calculus and has any proof assistant tried?
Feb 19, 2022
question
12
Incorporating Markov's principle in various proof assistants
Mar 6, 2022
question
12
Why are impredicative constructions used less in type theory than in material set theory?
Sep 22, 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
question
10
What is realignment and is it useful in non-univalent theories?
Mar 3, 2022
Top Meta posts
4
2
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
3
Renaming "extensional-equality" to "extensional-type-theory"
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!
15
How many points are needed to uniquely define an ellipse?
14
Missing $ inserted. Ha\"{i}
12
The one counting challenge to rule them all!

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.