StackRating

An Elo-based rating system for Stack Overflow

Home | About | Stats and Analysis | Get a Badge

Rating Stats for

MrO

Rating
1500.19 (482,172nd)

Reputation
29 (1,357,192nd)

Page: 1

Title	Δ
Stuck on unification problems during case splitting	-4.07
Agda: std-lib: List: all but last element with snoc	0.00
Agda list last of a generic list of naturals concatenated with a li...	0.00
Agda: proof about `Vec` `last` using `with`	0.00
Interacting in agda-mode with agda?	0.00
Increment binary value type by one	0.00
How to recover intermediate computation results from a function usi...	0.00
Agda equivalent of `destruct <term> eqn:<identifier>`	0.00
Getting better inference for agda proofs	0.00
Proving two dependent (AVL tree key-value) pairs equal	0.00
Why does Agda reduce my function application for some arguments but...	0.00
Understanding failures of recursive calls on simple proof about FSA...	0.00
Teaching the type checker that 2 ^ e ≢ 0	0.00
How does one prove weakening for a simple language in agda?	0.00
Lifting a boolean statement to a proposition	0.00
Overcoming definitional equality issues when constructing basic Agd...	0.00
Proving a theorem using equality relation: ∀[ x ] ∀[ y ] (¬ Eq...	0.00
How to define the range function on a relation in Agda (set theory)	0.00
Syntax highlighting for Agda-mode 2 in Doom Emacs	0.00
Why does `sym` need to be used in this case when using `rewriting`?	0.00
What is the parse error referred to in this error?	0.00
About equality in Agda	+3.34
Proving the false case of an if and only if in Agda	+4.85
Is this formalization of the empty set correct in Agda?	0.00
With clauses obscuring termination	0.00
`with f x` matches `false`, but cannot construct `f x == false`	0.00
How to make a Adga function with a premise work	-3.93