StackRating

An Elo-based rating system for Stack Overflow

Home | About | Stats and Analysis | Get a Badge

Rating Stats for

Guillaume Melquiond

Rating
1510.99 (64,696th)

Reputation
1,133 (139,295th)

Page: 1

Title	Δ
Proof mode definitions in Coq?	0.00
"at next level" in Coq?	0.00
Proving technology of Coq's kernel	+3.67
Is it safe to wrap conversion macros from "caml/mlvalues.h&quo...	-0.72
coq field tactic fails to simplify, yeilds "m <> 0%R"	0.00
First proof over Reals in Coq	0.00
exp function in Coq doesn't appear to terminate	0.00
Issue on definition expansion from Coq module system	0.00
Cyclic type definition in Coq	0.00
GADT pattern matching	0.00
Looking for peek_byte on OCaml in_channel	0.00
Ocaml - unexpected output	0.00
Improve match with functions Ocaml	0.00
What is the relation between Coq's type system CiC and lambda c...	0.00
Why can't Coq unify goal and hypothesis?	-0.13
How can I use these Inductives without unsetting positivity checkin...	0.00
How to return the instance of first-class module's nested type...	-1.32
Ocaml: Is using the wildcard more efficient than using a variable i...	0.00
Unification in pattern matching case	0.00
In OCaml, write a function that works Base.Map and Base.Hashtbl	0.00
Syntax error : operator expected (Closing parenthesis not handling)	0.00
Function that return a tuple (length_of_element,element)	-1.72
Coq - unify types from module functors with same parameters?	0.00
Why is the ##. operator needed in js_of_ocaml?	0.00
what does _the_hidden_goal_ error message mean	0.00
What does this type error on heterogeneous lists means?	-1.42
Ltac unification variable containing locally-bound variables	+4.34
Telling OCaml where opam packages are	+4.33
Casting from a to b then b to a is identity?	0.00
Debugging specialize and/or apply errors in Coq	0.00
Converting an existance proof of an infinite series to a function t...	0.00
Searching Coq libraries	0.00
Coq Import problems with power	0.00
Removing tcast for tuples	+3.96
comparable.vo contains library Top.comparable and not library compa...	0.00
Is it posible to pass a C function as callback to OCaml?	0.00