StackRating

An Elo-based rating system for Stack Overflow

Home | About | Stats and Analysis | Get a Badge

Rating Stats for

Saizan

Rating
1515.58 (43,191st)

Reputation
714 (204,539th)

Page: 1

Title	Δ
Agda: return the last element of a List	0.00
Why can't I move a partial box definition into a local binding?	0.00
How do I find further constraints than boundary conditions?	0.00
Importing `Cubical.Data.Nat` breaks `isOfHLevel→isOfHLevelDep`	0.00
Eliminating erased argument with only one valid case	0.00
Agda: Constructing a recursive record value?	0.00
Cubical Agda: how do I prove two things not equal	+3.87
Agda won't let me fill typed hole with term of matching type du...	0.00
Can I use inductive type families in Cubical Agda?	0.00
Usage of Agda Data.Bool solver	0.00
Handling heterogeneous paths in a set	0.00
Constructing squares with constraints in an isSet type	0.00
Constructing a path with constraints in an isSet type	0.00
What are the definitions for `isoToEquiv` and `iso`?	0.00
System F Church numerals in Agda	0.00
Can I use the normal form of a value to avoid incomplete pattern ma...	-0.18
Are definitional and propositional extenionality on top of intensio...	0.00
Interval extensionality?	+5.52
Equality between paths	+4.54
Pushing a path along a pair of paths originating from its endpoints	-1.48
Irrelevant implicits: Why doesn't agda infer this proof?	+4.03
Define bijection in Agda	0.00
Formalising regular expressions with a complement operation	-2.59
Parametricity-exploiting proofs in Agda	0.00
What does `\|` mean in a goal-type in Agda?	0.00
Proving decidability of subset in Agda	0.00
Modeling the ST monad in Agda	0.00
What are cumulative universes and `* : *`?	0.00
Proof that (prev n) <= m starting from n <= m	+1.86
Can Agda compile faster in batch mode?	0.00
Congruence for heterogenous equality	0.00
Eliminating subst to prove equality	0.00