StackRating

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

Jasper Hugunin

Rating
1512.95 (52,974th) 		Reputation
36 (1,214,444th)
Page: 1
Title Δ
Removing trivial match clause in Coq +3.70
While it is expected to have type "forall..." in Coq 0.00
Modeling Cardinality of Finite Sets in Coq 0.00
Dependent functions in Coq 0.00
Differential calculus on Coq -0.36
trivial theorem about my inductive type on Coq +0.40
Records as Prop? 0.00
What are the rules of Coq implicit types deduction in Inductive def... 0.00
How to prove all proofs of le equal? +4.96
Can't prove trivial lemma about function with non-standard recu... 0.00
Running python program on linux +4.23