StackRating

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

Bubbler

Rating
1508.27 (85,868th) 		Reputation
106 (690,794th)
Page: 1
Title Δ
Semantics of APL dot operator? +4.23
Explanation of quicksort in APL 0.00
Preserving large numbers when converting to characters in APL -0.32
check equality of natural number list pair 0.00
DeMorgan's law for quantifiers in Coq 0.00
Lemma about list and rev(list) +4.37
I want to prove some properties about list, but am stuck at induction 0.00
How to apply do tactic to a sequence 0.00
Is it possible to bind necessarily different terms in Ltac-match? 0.00
IndProp: re_not_empty_correct 0.00
How to specify a location with the rewrite tactic? 0.00
How to create a state machine from inductive types in Coq? +3.97
How to do theorems that require mutual recursion? 0.00
even_Sn_not_even_n - apply 1 hypothesis in another 0.00
How to make coq simplify expressions inside an implication hypothesis 0.00
How to have multiple notations of "0" in Coq 0.00
What is subgoal "nat" -3.99
How to split the length inequality hypothesis in the pumping lemma? 0.00
Logic: auxilliry lemma for tr_rev_correct 0.00
Tactics: filter_exercise 0.00
Coq proof that factorial N / (factorial k * factorial (N-k)) is int... 0.00
Testing if a proof is sound in Idris 0.00