StackRating

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

autorewrite

Rating
1489.68 (4,421,146th) 		Reputation
546 (254,697th)
Page: 1
Title Δ
Best way to instantiate nested existential statement in Coq 0.00
Describing a recursive type in Coq -4.11
Parameterizing a proposition over other parameterized propositions... 0.00
File I/O in Coq via ynot -3.69
What is the exactly the term "10" in Coq? -2.06
Inversion on symmetrical relation becomes circular in Coq 0.00
Simple graph theory proofs using Coq 0.00
Proving that a reversible list is a palindrome in Coq -4.10
Default implementations in coq’s Modules -4.33
Powerset and ensembles in Coq 0.00
a + b = 0 -> a = 0 and b = 0 in Coq 0.00
applying a function with different field 0.00
Implementing safe element retrieval by index from list in Coq +3.98
Reals and theorem proving with Coq +4.00
Pair definition in Coq has type "(Set * Set)%type" while... 0.00
Dependent pattern matching in coq -0.02
How to define an inductive type and a definition at the same time? 0.00