StackRating

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

eponier

Rating
1540.31 (11,656th) 		Reputation
2,179 (77,250th)
Page: 1 2
Title Δ
Induction Principle for Propositions with Lists (or: LNR for expres... -2.86
Proving equality on coinductive lazy lists in Coq -1.75
Coq adding a new variable instead of using the correct one +2.59
Wellfounded induction in CoQ +4.13
From an Inductive predicate to list A -> list A -> bool +0.35
Rewriting at the type level 0.00
How to add to both sides of an equality in Coq -4.05
Coq inference behavior +3.76
Counting number of different elements in a list in Coq -2.11
How to run Frama-c WP plug-in with Coq interactive theorem prover? 0.00
How do I evaluate a nested match in an assumption that depends on a... +3.89
The induction principle generated by Coq does not behave like I wan... -0.09
How to prove a prove definition in Coq +4.15
Ltac not working after upgrading to Coq 8.5 0.00
coq: A left-recursive notation must have an explicit level 0.00
How to execute a computation exactly once in Coq? -2.24
Cannot rewrite subterm in Coq 0.00
Proof by case analysis in Coq 0.00
Equality in COQ for enumerated types +3.79
How to introduce a new existential condition from a witness in Coq? +4.03
How to introduce a new variable in Coq? -1.88
Termination implies existence of normal form 0.00
How to prove remove_copy from ACSL by example 0.00