StackRating

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

Hira Taqdees

Rating
1501.10 (411,042nd) 		Reputation
1 (4,410,927th)
Page: 1
Title Δ
How can I efficiently prove existential propositions with multiple... -3.23
Inductive numerical proof: for k>= 10 it is true that 2^k > k^3 -3.70
`find_theorems` in the AFP +4.03
How can I enter symbols from set theory in Isabelle/jEdit? +4.00