StackRating

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

Anton Trunov

Rating
1532.95 (16,107th) 		Reputation
12,306 (11,942nd)
Page: 1 ... 4 5 6 7 8
Title Δ
How to deal with a function with an exists on the right side? +0.49
What does the error message "setoid rewrite failed: UNDEFINED... -0.04
Well-founded recursion by repeated division 0.00
Is there a way to automate a Coq proof with rewrite steps? -0.29
math-classes: Prove that Munit is its own negation 0.00
Ocaml : Function with 'a option error 0.00
How do I prove that two Fibonacci implementations are equal in Coq? +3.09
How do I prove that two Fibonacci implementations are equal in Coq? -4.11
How do I prove that two Fibonacci implementations are equal in Coq? -1.44
How do I prove that two Fibonacci implementations are equal in Coq? +3.09
Usage of "red in |- *": What does bar hyphen star mean? 0.00
Combining two Coq hypotheses 0.00
How to understand Setoid definition of category? 0.00
Implementing Semigroup for dependent pair in Idris 0.00
How do Structures with Inheritance (:>) work in Coq? +3.98
Type error in Standard ML reverse function 0.00
Coq can't discriminate between constructors for dependently typ... -3.04
Multiple assignments in a Coq let clause 0.00
Error: Cannot coerce to an evaluable reference in coq 0.00
Idris mush tactic 0.00
SML Operator and operand don't agree in foldr 0.00
In Coq, is there a way to get rid of "useless" preconditi... 0.00
How to change display style in Coq IDE to match Coqtop? 0.00
How can I call a subprocess in Idris? 0.00
Round and abs function in Idris 0.00
Different induction principles for Prop and Type 0.00
OCaml polymorphic variants: bind the same name in multiple match pa... 0.00
Simple identity in Coq 0.00
Idris simple proof with lists 0.00
Proving for all elements of a list in coq 0.00
What exactly is a Set in COQ -3.80
Unfold a notation within a scope 0.00
Solving equality / inequality in goal, coq code 0.00
Coq adding a new variable instead of using the correct one -1.98
Step by step simplification in coq? -4.37
Typeclass resolution and autorewrite -4.39
Coq - disj_conj_intro_patterns for inductive propositions 0.00
Need finding the right tactic over Int.lt 0.00
Is this recursive function not total, or is the compiler just unabl... -1.74
'else' in definitions - Coq +3.71
Using list head as int in ML 0.00
Proof of equality with destructuring let...in +3.76
Coq: Insufficient Justification error 0.00
Where did lt_index go? -4.44
Proving this lemma in Coq 0.00
How to express subset relation in Coq? 0.00
How to encode the identity function in ANF? 0.00
What is a head in Coq head normal form? 0.00
In Idris, how to add 1 to a Fin until a "max" is Reached -0.76
In Coq: inversion of existential quantifier with multiple variables... +3.77