Skip to main content
Proof Assistants Meta
Trebor's user avatar
Trebor's user avatar
Trebor's user avatar
Trebor
Moderator
  • Member for 2 years, 5 months
  • Last seen more than a month ago
Profile Activity
Stats
4,025
reputation
482
reached
3
answers
4
questions
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
9
bronze badges
Top tags
View all tags
15
Score
7
Posts
100
Posts %
9
Score
1
Posts
14
Posts %
9
Score
1
Posts
14
Posts %
0
Score
3
Posts
43
Posts %
0
Score
1
Posts
14
Posts %
0
Score
1
Posts
14
Posts %
Top posts
9
Syntax highlighting for proof assistants
Feb 8, 2022
6
Engineerings questions on internal details of Proof Assistant implementations, usage and modifications?
Jul 8, 2022
4
Policies on answers porting code
Feb 18, 2022
4
Renaming "extensional-equality" to "extensional-type-theory"
May 14, 2022
4
On tags for technical support
Jan 20, 2023
2
Tags concerning variables and bindings
Mar 2, 2022
0
Hobbled math processing on this site?
Mar 7
Top network posts
View all network posts
33
Is there an elementary expression for every real sequence?
27
What is Artin gluing, and how is it useful in proving meta-theoretic properties?
22
Help me prove the Four Color Theorem!
18
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?