Skip to main content
Yves's user avatar
Yves's user avatar
Yves's user avatar
Yves
  • Member for 11 years, 8 months
  • Last seen this week
Profile Activity
Stats
4,166
reputation
54k
reached
157
answers
0
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
13
silver badges
12
bronze badges
Top tags
View all tags
280
Score
155
Posts
99
Posts %
38
Score
31
Posts
20
Posts %
17
Score
4
Posts
3
Posts %
11
Score
9
Posts
6
Posts %
11
Score
4
Posts
3
Posts %
8
Score
5
Posts
3
Posts %
Top posts
View all questions, answers, and articles
18
What is difference between `destruct` and `case_eq` tactics in Coq?
Sep 27, 2017
9
strange implicit type for eq_refl
Feb 13, 2018
9
How to do induction on the length of a list in Coq?
Aug 25, 2017
7
Coq: Proposition about the contents of a set
Aug 5, 2017
6
Mutualy recursive function and termination checker in Coq
Nov 8, 2012
6
rewrite single occurence in ltac
Aug 1, 2017
6
Short(er) proof of `forall n k, (forall q, n <> q * 3) -> n + n <> k * 3`
Sep 5, 2017
5
Solving linear equation systems in Coq
Feb 6, 2018
5
Cannot determine termination
Jan 17, 2018
5
Coq item 1.2.10 Type cast
Nov 2, 2017
Top network posts
View all network posts
9
Numerically computing $\int_0^1 \frac{1}{\sqrt{1-x^4}}dx$
7
Numerically computing $\int_0^1 \frac{1}{\sqrt{1-x^4}}dx$