Skip to main content
Proof Assistants Beta
Villetaneuse's user avatar
Villetaneuse's user avatar
Villetaneuse's user avatar
Villetaneuse
  • Member for 1 year, 6 months
  • Last seen more than a week ago
Profile Activity
Stats
226
reputation
772
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
11
Score
4
Posts
100
Posts %
7
Score
2
Posts
50
Posts %
2
Score
1
Posts
25
Posts %
2
Score
1
Posts
25
Posts %
2
Score
1
Posts
25
Posts %
Top posts
5
In Coq, is there a simpler tactic for introducing a disjunction and immediately destructing it?
Jan 25, 2023
2
Rewriting inside quantified propositions in Coq?
Aug 1, 2023
2
How to to use the fact that combining these hypothesis is false in Coq
Dec 10, 2023
2
How do I approach the final step in proving the cancellation law in Coq?
Jan 1, 2023
Top network posts
View all network posts
5
Right-continuity of the augmented filtration
5
Continous spectrum of compact, self-adjoint operators on a Hilbert space
5
Prove $\lim\limits_{n\to\infty}\int_0^1(\cos \frac1x)^n\mathrm dx=0$