StackRating

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

Jason Gross

Rating
1544.03 (10,004th)
Reputation
3,985 (42,085th)
Page: 1 2
Title Δ
Changing type under lambda in Coq 0.00
What are strategies to write large and manageable proofs in Coq? -3.58
How to define an automatically unfoldable definition 0.00
Coq, meta programming, generate fresh variable to create a Prop 0.00
`context` expression in Coq 0.00
Coq: Resolve an expression to multiple instances 0.00
Implicit arguments in a computed type in Coq 0.00
Tactic automation: simple decision procedure +3.99
Coq: Defining a type class instance 0.00
How to express inheritance in Coq? 0.00
forall equality in Coq 0.00
Error: The reference fst was not found in the current environment +4.30
Is there a good way to block beta-reduction from automatically occu... 0.00
Get the list of extracted files when using Recursive Extraction Lib... 0.00
coq induction with passing in equality +0.39
generalizing expressions under binders 0.00
Interaction between type classes and auto tactic -3.87
Why does constructor take such a long time here? 0.00
Simplifying Subformulas in Coq 0.00
Coq contradiction in hypotheses 0.00
Why is following Coq rewrite not applying on right hand side of ass... 0.00
Check for evars in a tactic that returns a value +4.50
Non-dependent list type Coq 0.00
Eliminate redundant sub-goals generated by case analysis in Coq 0.00
Under what conditions does "Eval cbv delta in" expand a d... 0.00
Coq: Fixing a recursive notation 0.00
PHOAS in Coq: type mismatch +4.18
Equality of constructors with dependent types coq 0.00
How do you look up where identifiers are defined in Coq efficiently? 0.00
Idris vectors vs linked lists -3.93
How do I fix undefined reference to _imp__*? 0.00
Removing trailing / starting newlines with sed, awk, tr, and friends 0.00