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 ... 6

Title	Δ
Agda: std-lib: List: check that a filtered list is empty	0.00
Where is _≡⟨_⟩_ Agda standard lib?	0.00
Working within agda's decideability framework	0.00
How does one use the with inspect in Agda?	-0.47
Agda pattern matching inside type declarations	0.00
How to prove that division is cancellative?	0.00
Is it possible to prove not equals is irrelevant without funext?	0.00
Agda: can I prove that types with different constructors are disjoi...	0.00
Using irrelevant terms to prove irrelevant things	0.00
Is there an associative list in the standard library?	0.00
Pull type-level value out of dependent type/using type-level bindin...	0.00
How to include both Agda and Isabelle code in the same latex file?	+1.41
How to import the `∃-syntax`?	0.00
How do I type m≤n in Emacs's Agda mode without it turning into...	+0.20
How to prove that given an equality that a string is its reverse, i...	0.00
Coq Import problems with Strings and Ascii	0.00
How to create a 'do' block in Agda	0.00
How to generate random numbers in Agda	0.00
Proving properties of stream functions in Idris	0.00
Agda: Simplifying recursive definitions involving Thunk	0.00
Builtin "less" from stdlib "less"	0.00
Trying to compile basic program in Agda	0.00
Type Level Fix Point while Ensuring Termination	0.00
Why does Coq use unnamed parameters in Inductive Types of Propositi...	0.00
Data type that represents the proof that two functions are equivalent	0.00
Is it possible to write a non-terminating web server in agda?	0.00
Human readable Coq output from command line	0.00
Lightyear requireFailure does not do backtracking	0.00
Using implicit parameters in Agda	0.00
Agda: separate declaration from definition	0.00
Bove-Capretta method in Coq	0.00
How to fix incomplete pattern matching in agda	-1.98
How to write an Idris function that accepts a Vect of length less t...	+0.51
Proving that list has exactly two sorted elements	0.00
Translate the PVS into Coq	0.00
Ways to (refine? is it?) type variables to concrete types in Idris?...	0.00
How to write less boilerplate in a expression evaluator written wit...	-0.35
How to map Type to Value in Idris/Agda/Coq?	+0.50
Hide parts of a line from LaTeX output	+0.51
Pipe output to getArgs in Haskell	+0.67
What could go wrong by ignoring dot pattern in Agda?	0.00
Haskell: How is Num held?	+0.23
Downcast union cases without warning errors	+1.45
Computing with a finite subset of an infinite representation in Coq	+0.10
Error handling on multiple Either values	0.00
Write a function `smallest_absent t` that returns the smallest natu...	-0.22
Coq `path` implementation	0.00
How do I talk about a particular constructor in Agda	0.00
Could Not Deduce with Dependent Typing	+0.50
Unexpected error in nested function	0.00