StackRating

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

Zimm i48

Rating
1490.49 (4,408,104th) 		Reputation
1,839 (90,608th)
Page: 1
Title Δ
In Coq is it necessary to add the current directory to the load pat... 0.00
How to run a `nix-shell` with a default.nix file? 0.00
Proof automation -3.80
Coq: apply the f_equal tactic only when f is an inductive constructor 0.00
Coq: why do I need to manually unfold a value even though it has a... -2.86
Nix: Querying packages' packages 0.00
Nix: installing ssreflect 0.00
CoqIDE 8.5 default font -0.10
Coq not generating inductive hypothesis 0.00
What are different among various dot nix files? 0.00
Induction over relations -1.48
Is it normal that root's nix-env is visible from non-root user? 0.00
How to install SSReflect and MathComp in Linux? -3.74
How is Coq's parser implemented? +4.00
Where is the Nix configuration located for the official nix docker... -1.88
Getting the "Loading" status from Elm's RemoteData pa... 0.00
Coq makefile "Top." Prefix +4.04
How to enable an optional build dependency using nix-shell? 0.00
How can I automate counting within proofs in Coq? +0.34
Coq: `Function ... with` syntax 0.00
Why does Elm use the '++' operator to concatenate strings? +4.06
Proof on booleans, false = true 0.00
How to compare multiple fields in Elm? 0.00
How to display ELM code snippets in a WordPress blog? 0.00
How do I upgrade my system to nixos-unstable? +4.14
How to leverage auto's searching and hint databases in custom t... 0.00
How to use auto with repeat in custom tactics? 0.00
Coqide Key Bindings Bug(?) 0.00
Break "forall" hypothesis with conjunctions up into compo... 0.00
In Elm, how would you get every even index in a list and return as... -2.44
How do I rewrite negb true to false in Coq? -3.67
Stuck on a simple proof about regular expressions -0.74
Is there a way to automate a Coq proof with rewrite steps? +4.31
Loading dependencies from nixpkgs-unstable with nix-shell -3.83
How can I keep a single component highlighted at a time in Elm 0.17? +4.05
How can I define a Nix environment that defaults to Python 3.5 0.00
disjunction of empty and non-empty list in coq +0.05
Reorder function arguments in Elm -2.26
Keyboard combinations in Elm 0.17 and later -3.13
Coq: Show all terms in a type or types in a universe in the environ... -2.01
Is there a way to generate an empty Html node in Elm-Html? -2.69
How to apply Fixpoint definitions within proofs in Coq? -3.83
Natural deduction for predicate logic 0.00
`Reset` not working in CoqIDE +3.99