StackRating

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

jaam

Rating
1488.35 (4,439,280th) 		Reputation
472 (286,046th)
Page: 1
Title Δ
Coq: Proving proposition f (x y) -> f y 0.00
CoqIDE 8.5 default font +0.10
Coq: Defining a prefix notation 0.00
Coq: freeing universes 0.00
Normal order reduction v Call-by-name in lambda calculus 0.00
Coq: fixed universe hierarchy w/ explicit universes -3.78
Coq: coercion/subtyping between complex expressions -4.05
Terms as types in Coq 0.00
Coq: a single notation for multiple constructors -3.86
Coqide 8.5: No syntax highlighting on Linux 0.00
Managing preinstalled snippets in Atom editor -0.07