StackRating

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

lsf37

Rating
1512.47 (55,207th) 		Reputation
495 (275,469th)
Page: 1
Title Δ
Right way of reusing AFP entries in Isabelle 0.00
JFlex: Negative look-ahead inside regex 0.00
Isabelle tactic profiling 0.00
(Temporarily) disabling backtracking in Eisbach method 0.00
Install JFLEX ON MAC 0.00
Why my c++ code is going to an infinite loop? -3.33
JFlex: How can I let yytext continue during matching 0.00
How to specify a non-document theory file in ROOT? +3.70
Program extraction using native integers/words (not bignums) from I... 0.00
Isabelle/Simpl new heap image does not show in jEdit +3.80
Generating Isabelle HTML documentation *without proofs* +0.08
how to create an object logic via thf 0.00
How do I view hidden type variables in Isabelle proof goals? +4.09
Elimination rule for finitely-bounded quantifiers +2.02
Using tuples in definitions 0.00
AFP Dijkstra's Shortest Path Algorithm +2.11