StackRating

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

Daniel Ricketts

Rating
1495.99 (4,167,844th) 		Reputation
76 (837,689th)
Page: 1
Title Δ
How to use 'exists' quantifier? 0.00
How can I write a Dafny axiom about a function that reads the heap? 0.00
Dafny - Checking if array value is unique, but forall nested in exi... 0.00
Multiset only verifying with one element array 0.00
How to find a loop-invariant of this program? 0.00
dafny assertion fails is hard to explain 0.00
How to model Paxos in TLA+ Toolbox? 0.00
How to create a new hypothesis from apply? -4.01