StackRating

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

Catalin Hritcu

Rating
1500.35 (460,561st) 		Reputation
395 (329,681st)
Page: 1
Title Δ
Why isn't this FStar function accepted? +4.02
Trying to understand indexed types 0.00
How to get GitHub commit notifications by email after January -3.67
Why is Github asking for username/password when following the instr... 0.00
Using forall within recursive Function definition 0.00
What programming languages can support mutation testing? 0.00
Referencing a theorem-like environment by its [name] 0.00