StackRating

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

Tiago Campos

Rating
1496.97 (3,994,158th) 		Reputation
29 (1,357,578th)
Page: 1
Title Δ
Less than relationship of natural numbers -4.23
Append and Split is same as doing nothing 0.00
If two constructor expressions of an inductive type are equal in Co... 0.00
Coq: How do I prove that forall n m : nat, (n > m) -> (S n &g... +1.94
Transform the lemma leaving previous state on Coq +0.01
Can we ban arguments that don't meet conditions? 0.00
Pattern match with two list whose type is dependent type on Coq 0.00
How to provide proof that two values are different? 0.00
How to prove statement is wrong +0.07
tactical for introducing a hypothesis and then immediately doing an... 0.00
Prove properties of lists regarding the content 0.00
How to prove sorted list 0.00
Maximum elelment in the list 0.00
Prove equality on list constructed with a map +2.62
Rewrite match with single branch that doesn't depend on matched... 0.00
Can one prove an equivalent to Forall_inv for heterogeneous lists i... -3.43