StackRating

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

Pierre Jouvelot

Rating
1482.51 (4,485,888th) 		Reputation
27 (1,388,243rd)
Page: 1
Title Δ
Lemma related to the counting of numbers in list 0.00
how to proof (f1+f1 = f2+f2 -> f1 = f2) in coq +4.16
Is it possible to prove `forall n: nat, le n 0 -> n = 0.` in Coq... -2.47
Introducing a new assumption/hypothesis by adding it as subgoal -3.61
Theorem that finding in a list works properly -3.90
Type coercion from nat to rat -3.91
Removing tcast for tuples -3.96
Distributing subtraction over bigop -3.81