StackRating

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

Mayer Goldberg

Rating
1504.31 (166,182nd) 		Reputation
681 (212,565th)
Page: 1
Title Δ
how to use modules to hide lemmas in coq? 0.00
How can I prove propositional extensionality in Coq? +4.31
Quicksort proof using Coq 0.00
Running Python script from IDLE on Windows 7 64 bit 0.00