StackRating

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

Vilhelm Sjöberg

Rating
1502.34 (350,288th) 		Reputation
318 (393,458th)
Page: 1
Title Δ
How to write statement formally? 0.00
In-place simplification for Coq -0.12
Paramcoq: Free theorems in Coq 0.00
Lift existentials in Coq 0.00
Is it possible to derive induction for the church-encoded Nat? -3.07
Proving equality between instances of dependent types 0.00
How can I make Coq accept the following Fixpoint? 0.00
Coq: Inequality test 0.00
"Collapsing" state in a functional map? +0.10
Coq true = false discriminate fails, no primitive equality +4.53
Proof automation +0.91