StackRating

An Elo-based rating system for Stack Overflow

Home | About | Stats and Analysis | Get a Badge

Rating Stats for

Sebastian Ullrich

Rating
1518.87 (34,277th)

Reputation
1,029 (151,155th)

Page: 1

Title	Δ
Nix config outside of NixOS	0.00
Does lean have syntax for declaration of signatures?	0.00
What makes the natural numbers so special with regards to timing out?	0.00
Why doesn't this dual poset definition don't type check	0.00
Painless way to show simple inequality over whole number	0.00
From set inclusion to set equality in lean	0.00
How to write a definition of the non-dependent product using Pi typ...	0.00
In Lean, is it possible to use decidable_linear_order with a user d...	0.00
How to propogate an assumption when pattern matching in Lean	0.00
Am I missing something when it comes to lifetimes?	-1.65
Why do Leans `Prop`ositions get special treatment?	0.00
How to prove a = b → a + 1 = b + 1 in lean?	+0.06
Inductive type constructed by a list of that type in Lean	+3.63
Use obtain in tactic mode in Lean theorem prover	0.00
Lean complains it can't see that a statement is decidable	+3.85
Idempotents of a commutatitive ring in Lean proof assistant	0.00
How do I define partially ordered sets in Lean?	-3.67
How to convert a WPF Button.Click Event into Observable using Rx an...	-4.14
F# currying efficiency?	+4.39
F# pattern matching when mixing DU's and other values	+1.41
Equality of two structs in C#	+1.81
Partial Application of Infix Functions in F#	+4.98
combining two lamba expressions in c#	-0.11
Case statement with logic operators (< > =, etc) in Pascal	+4.31
How can I get the exact location of cursor on image in Picturebox	+4.02