StackRating

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

Tiago Cogumbreiro

Rating
1497.34 (3,963,563rd) 		Reputation
484 (280,436th)
Page: 1
Title Δ
How to make a finite set type using MSets with the "usual"... 0.00
How to prove theorems about recursive functions of ListMap in coq? 0.00
How can I prove `false` and by extension anything from Coq hypothes... -3.66
Phaser Synchronization Usage +5.05
How to define set in coq without defining set as a list of elements -0.02
Using and reusing Phaser instead of join() 0.00
Using `apply with` without giving names of parameters in Coq? -4.21
Coq: manage LoadPath in project with subdirectories +0.19
How to obtain a FMapInterface.In from a FMapInterface.MapsTo and vi... 0.00
Programmatic deadlock detection in java 0.00