StackRating

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

Mathieu

Rating
1489.81 (4,419,228th) 		Reputation
594 (237,683rd)
Page: 1
Title Δ
Isabelle syntax: operator not of function type 0.00
Recognising that a subgoal is proved 0.00
hiding operators to avoid ambiguities in the AST -3.29
how to make an example to test the rev_app immediately after lemma... 0.00
What are the strengths and weaknesses of the Isabelle proof assista... -3.65
Isabelle solvers: "auto" or "fastforce"? (compa... 0.00
How to get the value of a const with ML code in Isabelle? -3.52
How do I convert “thm conjI” to an ASCII string I can save to a file? +0.22
Giving a list a partial order in Isabelle/HOLCF 0.00
isabelle proving commutativity for add -3.94
What can one assume, what is worth assuming in Isar? 0.00
Isabelle/Simpl: Calling a Procedure Twice 0.00
What do colour codes mean in Isabelle/JEdit? 0.00
What are the drawbacks of using the development version of Isabelle? -0.02
Simplifier doesn't work with constants greater than 10? +4.00
How to explicitly bind variables in an induction proof? 0.00
What Isabelle library to reuse for expressing that some function is... 0.00
How do I remove duplicate subgoals in Isabelle? 0.00