StackRating

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

ammbauer

Rating
1508.57 (82,206th) 		Reputation
166 (520,550th)
Page: 1
Title Δ
Recall Isabelle's "Go to the definition" command. (Is... 0.00
Equivilant Haskell list comprehensions in Isabelle 0.00
Function definition does not terminate...? 0.00
Idiomatically capturing "all idempotent semirings induce a par... 0.00
Explore finished theories in Isabelle 0.00
Associativity proof on Nats vs. Lists 0.00
How do I refer to the current subgoal in Isar? 0.00
Distinguish by cases cardinalities of sets 0.00
How to manage all the various proof methods +4.26
Proving the cardinality of a finite set +4.31