StackRating

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

gallais

Rating
1490.69 (4,404,676th) 		Reputation
9,342 (16,489th)
Page: 1 2 3 4 5 ... 6
Title Δ
How do you make use of a proof of absurdity in Agda for an absurd p... 0.00
Proof that references the conclusion of a previous proof in Coq 0.00
Agda: Vector Membership in Stdlib? (And how to learn stdlib in gene... 0.00
Understanding practice exam about Agda 0.00
Agda: Product of even numbers is even -1.22
Infer constraints for both if and else of type equality 0.00
Coq proof that the Selection monad is an applicative and a monad 0.00
Coquelicot library for basic undergraduate calculus 0.00
Pattern-match on type in order to implement equality for existentia... 0.00
prove a theorem in agda. Error : should be a function type, but isn... 0.00
Type error involving HashMap and Map when building a site 0.00
Could not deduce KnownNat in two existentials with respect to the s... +0.50
Why do Coq recursion principles pass along both the substructure an... 0.00
Simple parser running out of memory +0.10
Applying lifted functions to tuples (of arbitrary length) in Haskell +1.15
Haskell: Could not deduce (Eq a) arising from the literal ‘1’ from... 0.00
Failure in pattern matching in Agda 2.5.1.2 0.00
What does this ocaml syntax mean? 0.00
What is the Emacs keyboard shortcut for the Agda 𝕃 symbol? +0.52
Inductive type constructed by a list of that type in Lean -0.45
Coq: Prove equality of two factorial functions using induction +0.55
How to prove binary commutavity with a different definition of bin? 0.00
Haskell - disable accompanying binding check haskell 0.00
How can I rewrite "+ 1" (plus one) to "S" (succ... 0.00
Why does a proof with semicolons not work with periods? 0.00
Coq can't discriminate between constructors for dependently typ... +0.55
RankNTypes with type aliases confusion 0.00
Suppress a warning from OCaml in a specific line +0.52
How to define a function with different types of input and output? -1.55
Haskell Recursive Type Classes -1.63
Flat lists and free monads 0.00
Type reduction infinite loop -1.28
freeze simulation in gloss Haskell 0.00
Mutually-recursive syntaxes with Bound 0.00
State and IO Monads -1.62
Proofs in coq using MSet 0.00
Coq type error when matching with type family +2.24
multiple successes in Coq branching and backtracking? 0.00
Can a function be parametrically polymorphic over a non-nullary typ... -0.74
How do I prove 'S x > 0' from scratch in Coq? -0.22
Idris non-trivial type computation for tensor indexing -0.63
Port a Coq lemma over Z to a similar lemma over nat 0.00
Coq inference behavior -0.17
How to make sublists in Coq? -0.73
How to get around Agda module parameter inflexibility? 0.00
Law of excluded middle in Agda 0.00
How to import the Library: Coq.Arith.PeanoNat in Coq? -0.52
Haskell String to Maybe List +2.10
Coq simpl for Program Fixpoint 0.00
Defining bind in the double barrelled continuation Monad in Haskell +0.01