Skip to main content
Proof Assistants Beta
aws's user avatar
aws's user avatar
aws's user avatar
aws
  • Member for 2 years, 5 months
  • Last seen this week
Profile Activity
Stats
301
reputation
1k
reached
4
answers
0
questions
Communities
View all
Badges
This user doesn’t have any gold badges yet.
1
silver badge
3
bronze badges
Top tags
View all tags
8
Score
2
Posts
50
Posts %
5
Score
1
Posts
25
Posts %
5
Score
1
Posts
25
Posts %
4
Score
1
Posts
25
Posts %
4
Score
1
Posts
25
Posts %
4
Score
1
Posts
25
Posts %
Top posts
5
Is the de Morgan interval Kan?
Mar 31, 2023
4
Can strict propositions (Rocq's SProp, Agda's Prop) be used to show termination?
Apr 26
4
Is there a proof assistant supporting double negation modality?
Mar 26, 2022
4
When is hProp equivalent to the subobject classifier?
Oct 6, 2022
Top network posts
View all network posts
37
Is there a constructive proof of Cantor–Bernstein–Schroeder theorem ?
25
Does an existence of large cardinals have implications in number theory or combinatorics?
20
Does $\forall x \forall y\ (x \in y) \lor \lnot (x \in y)$ imply excluded middle?
17
programming brain teaser
15
A Model where Dedekind Reals and Cauchy Reals are Different