StackRating

An Elo-based rating system for Stack Overflow

Home | About | Stats and Analysis | Get a Badge

Rating Stats for

davidg

Rating
1514.70 (46,281st)

Reputation
4,398 (37,969th)

Page: 1 2

Title	Δ
How do I kill strace without killing the process being traced?	0.00
Printing out / showing detailed steps of proof methods (like simp)...	-4.04
How do I convert “thm conjI” to an ASCII string I can save to a file?	-0.22
Is xsymbols used in Isabelle/JEdit?	0.00
Using pairs in list comprehension gives "redundant clause"...	0.00
How to print type definitions to Latex from Isabelle?	0.00
Isabelle won't generate code for my recursive function without a te...	0.00
How do I execute, as part of a ML{...} command, a string that con...	0.00
How to revert bcache device to regulare filesystem	0.00
Field update doesn't work when changing type parameters	0.00
loading a precompiled heap image in Isabelle	0.00
Accessing first element of a matrix in Isabelle	0.00
Accessing first element of a matrix in Isabelle	0.00
How do I display what type classes have been instantiated for nat,...	0.00
How to replace ⋀ and ⟹ with ∀ and ⟶ in assumption	-2.11
is there builtin hashmap function in Isabelle?	0.00
Isabelle/HOL tutorial/documentation needed	0.00
How to prove while/for in Isabelle/HOL	0.00
How to enable "Tracing" in Isabelle/jEdit	0.00
Isabelle: Evaluating formula with Quantifiers	-4.04
How can I use rules suggested by solve_direct? (by (rule …) doesn't...	+3.78
Establishing that a record type belongs to a given class	0.00
How do I display brackets around assumptions in Isabelle/jEdit?	0.00
Defining overloaded constants in Isabelle	0.00
Can I define multiple names for a theorem?	0.00
Why won't Isabelle simplify the body of my "if _ then _ else&q...	+3.96
How do I remove duplicate subgoals in Isabelle?	0.00
What rule does 'apply (rule)' or 'proof' use?	+4.02
How to prove code correctness lemmas with the "undefined"...	0.00
How do I view hidden type variables in Isabelle proof goals?	-3.46
using "dd" to capture and restore fails?	0.00
Are there any kernel tools available to measure interrupt latency w...	0.00
Elimination rule for finitely-bounded quantifiers	+1.79
Drop a variable in a goal in apply style	-2.74
How do I abstractly work with theorems and terms using locale assum...	0.00
How to convert Linux Kernel Bin into ELF format	0.00
Apply a method if and only if it solves the current goal	-0.03
How can I easily write simple tactics at the ML level of Isabelle?	-4.24
Invoking Nitpick and Sledgehammer together in Isabelle	0.00
GCC Generated ASM simplified x86 ASM? How to map?	+0.65
Allow pushing multiple heads without -f?	0.00
Must be root to push/commit to mercurial repositories	0.00
ARM Linux: Why does the linux expect the register r0 to be set to z...	0.00
VIM custom keybinding hacks	-1.71
Long compilation time for program with static allocation	0.00
Efficiency of imports in Python	+1.81
C - do these functions generate garbage?	+2.52
C++ sin() returns incorrect results	+3.91
m-Reachability in graphs	0.00
Is there a way to get the filename from a `FILE*`?	+5.28