StackRating

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

Brian Huffman

Rating
1523.30 (26,247th) 		Reputation
681 (212,654th)
Page: 1
Title Δ
Applying lemma to solve goal 0.00
Can I overload the notation for operators that are assigned to bool... 0.00
How to submit an argument to keyword proof? -4.04
Using mono attribute in inductive_set 0.00
Simplify pretty-printing of naturals +3.68
How to describe inaccuracy points inside (| |) in Isabelle? +3.68
How to extract the instantiated variable in Isabelle? +3.84
Isabelle: this lemma about polynomials is only provable for idoms +3.93
Isabelle: Issue with setprod 0.00
Isabelle: Use of the "induct" or "induct_tac" m... 0.00
Isabelle: Opposite of "intro impI" +4.15
Degree of polynomial smaller than a number +3.92
Working with Isabelle's code generator: Data refinement and higher... +4.15
How to hide multiply defined constants 0.00
How to get a typedef type to inherit operators from its mother type... 0.00