StackRating

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

david streader

Rating
1500.27 (470,457th) 		Reputation
1 (3,364,287th)
Page: 1
Title Δ
Cab Dafny use an imported ADT in a match command +0.09
Cab Dafny use an imported ADT in a match command +0.09
What does the dafny error "type error mismatch (function expec... +0.09
Dafny fails in Visual Studio Code on MacOS 10.14.6: Does anyone kno... 0.00