StackRating

An Elo-based rating system for Stack Overflow
Home   |   About   |   Stats and Analysis   |   Get a Badge
Rating Stats for

Yves

Rating
1505.80 (126,314th) 		Reputation
1,773 (93,637th)
Page: 1 2 3
Title Δ
Generalized fold for inductive datatypes in coq 0.00
New Scope in Coq 0.00
Abstracting leads to a term ill-typed... yet well-typed 0.00
Best practices for an effective use of Coq's hint database 0.00
How to give a counterxample in Coq? +0.12
Proving a theorem using induction in COQ +3.92
In Coq, why use Atom and how to construct it? +0.05
How to merge two trees in coq? 0.00
Executing large Coq project with many files 0.00
Mutualy recursive function and termination checker in Coq 0.00
Taking the option element in the head of the list 0.00
Quicksort proof using Coq 0.00