StackRating

An Elo-based rating system for Stack Overflow

Home | About | Stats and Analysis | Get a Badge

Rating Stats for

SCappella

Rating
1544.79 (9,688th)

Reputation
875 (172,903rd)

Page: 1 2 3 4

Title	Δ
I get a expected type parameter, even though I think I have returne...	0.00
How to use a BinaryHeap when I can't implement Ord?	0.00
What's the opposite(?) command of "econstructor"	+3.51
Defining recursive function over product type	+1.26
Lemma about list and rev(list)	-4.37
How to set implicit parameters for constructor	0.00
Understanding specialize tactic	0.00
A variable is still repeating at this depth error in macro	0.00
apply tactics works, but the variables in goal and hypothesis are d...	0.00
How to implement remove with a membership proof as an argument in C...	0.00
How to prove that "Type <> Set" (i.e. Type is not e...	0.00
What happens on the stack when one value shadows another in Rust?	0.00
slicing a list as if it has the behavior of a ring buffer	0.00
Why unable to parse a string \| Rust	+3.69
Passing String::as_str to Option<String>::map() fails to comp...	0.00
Coq: About "%" and "mod" as a notation symbol	0.00
Sort a vector of structs by String field	+3.81
Is it possible to prove 'implies_to_or -> de_morgan_not_and_...	-3.96
Clone and Cast Rc pointer	+3.87
What should be done when simpl does not reduce all the necessary st...	0.00
Logic: All definition and All_In theorem	0.00
Why is my Record of Type sort showing as Set sort?	0.00
Is there traditional style switch statements in Rust?	0.00
Not able to understand the behaviour of Vector In Rust	0.00
How to prove (p -> q) -> (~ p \/ q) in Coq	0.00
How to use `std::io::Command`	0.00
Coq: How to rewrite inside a lambda?	0.00
Is it possible to concatenate iterators?	0.00
How do I prove the following lemma in Coq?	0.00
How can I use type arguments in an ltac?	0.00
Coq - return value of type which is equal to function return type	+3.63
Splitting disjunctions (\/) in Coq hypothesis	0.00
Transitivity of -> in Coq	0.00
How to check if two reference variable are borrowing the same object?	+4.55
coq syntax of theorem implication	0.00
How to remove a project directory that "cargo new" created	-0.28
Rust recursive macro not working for generating struct	0.00
How can I use an object as a parameter of its own method in Rust?	0.00
What <> is in Coq	+0.38
How to prove logic equivalence in Coq?	0.00
Is there any thing like apply lem in *?	0.00
How to check equality between two integers in Coq?	0.00
Explanation transitivity of equal coq	+3.85
Inductive definition of boolean	0.00
Church numerals	-2.17
What do ellipses mean in a Coq proof?	0.00
How does one do an else statement in Coq's functional programmi...	+4.14
coq Basics: bin_to_nat function	+4.07
Coq prove that arithmetic expressions involving real number literal...	0.00
Use coqtop to check type of expression	0.00