StackRating

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

Mathias Fleury

Rating
1509.10 (77,324th) 		Reputation
281 (420,787th)
Page: 1
Title Δ
what's the distinction between `shows` and `obtains` in Isabell... 0.00
How to prove a thereom about a type class outside the original type... -0.15
What does the "note" command do in Isabelle and when is i... +3.94
Is it possible to add assumptions to the domain of a function in Is... +4.35
Why Isabelle prover can't recognize a defined class? 0.00
saving a datatype before fixing additional variable in Isabelle/HOL 0.00
How can I extract data from all elements of a multiset? 0.00
request clarification on appearance of apparent real coercion in th... 0.00
How to express arrays in Isabelle/HOL? 0.00
can we use cartouches instead of quotation marks to delineate inner... 0.00
Isabelle: Too many precedences in mixfix annotation 0.00
Interaction with Isabelle without GUI 0.00
How to let option expressions simplfy in Isabelle? 0.00
How to write ARG_MIN in Isabelle 0.00
how to do a proof for subset in Isabelle 0.00
How to abort a proof in Isabelle? 0.00
How to use the "THE" syntax in Isabelle/HOL? 0.00
How to state a lemma about equiv in Isabelle 0.00
Why is this seemingly incorrect proof OK with Isabelle? 0.00
How can I subtract a multiset from a set with a given multiset? 0.00
How to write bigvee and big wedge in Isabelle 0.00
How to let Isabelle "compute" THE output of an inductive... 0.00
Locale: Codegen fails when instantiating with unit (code_pred: &quo... 0.00
Is there a way to get a complete list of all kinds of operators/con... -2.91
Skolem functions in SMT and ATPs 0.00
How does a z3 certificate look like? 0.00
Isabelle proving with translation issue 0.00
How to model/formalize the change of the variable (change of world)... +4.00
Annoying substitution behaviour in Isabelle coming from lambda func... 0.00
Are purple colored Isabelle proofs valid? 0.00
How does one use basic propositional rules in Isar to prove `A ⟶ A... 0.00
How to build session in Isabelle. (An example for AFP) 0.00
Are there any examples of isabelle sources for academic papers? 0.00
Isabelle resolves interpretation 0.00
Why do we need to prove both proposition to apply Disjunction Elimi... -0.12
Is there a rewrite tactic in Isabelle? 0.00
Preimage of a function in Isabelle 0.00
How does one toggle auto update in Isabelle with a keyboard shortcut? 0.00
what does Isabelle error Cannot update finished theory "HOL.Fi... 0.00
in isabelle what format of goal is required to pertorm coinduction 0.00
Can Isabelle import files in directory where name has a space in? 0.00