StackRating

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

Javier Díaz

Rating
1503.78 (293,493rd) 		Reputation
81 (814,356th)
Page: 1
Title Δ
How to prove an element does not belong to an inductive_set 0.00
Isabelle induction, custom base case 0.00
Ignore missing pattern in Isabelle 0.00
What is the reason to axiomatize "undefined" in Isabelle/... 0.00
Inductive predicates, transitive closure, and code generation 0.00
Isabelle/ZF infix definition issue 0.00
Isabelle/ZF nat inequality 0.00
Why the odd-even cases differ? 0.00
Why do we need to prove both proposition to apply Disjunction Elimi... +3.88
Case analysis on function definition in Isabelle +0.08
How does one define a if then else expression in Isabelle? -0.19