StackRating

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

Nik Swamy

Rating
1495.32 (4,263,529th) 		Reputation
36 (1,233,985th)
Page: 1
Title Δ
Why isn't this FStar function accepted? -2.69
FStar function strange behavior 0.00
Trouble verifying simple programs in F* (FStar) 0.00
Hint on FStar proof dead end 0.00
Issue with a simple assertion in FStar 0.00
Lemmas / proofs about subtyping judgments 0.00
Mutually Inductive Datatypes with Type Parameters 0.00
Precondition not satisfied when calling function in another module -4.08
Starting out with Fstar 0.00
Using the normalizer to reduce a recursive function 0.00
How to get insights about a z3 query when not on Windows +2.09