StackRating

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

Denis

Rating
1486.70 (4,457,153rd) 		Reputation
364 (352,084th)
Page: 1
Title Δ
How to enable logging for subprocesses 0.00
Android Chrome hides address bar after exiting fullscreen with java... 0.00
How to generate code for the uniqueness quantifier 0.00
How to generate code for the existential quantifier -3.42
How to prove elimination rules using Isar? 0.00
How to select a radio button followed by text with XPath? -1.21
How to defined a constructive predicate for a map? 0.00
How to define an inductive predicate for a map? 0.00
How to define an expression translator? 0.00
How to highlight fragments of XML specified by an XPath? 0.00
Transformation Language Text to Model -3.51
XML Schema how to restrict a count of elements 0.00
How to remove extra new line after template with loop in Acceleo? -1.98
How do I output a drupal image field? 0.00
Hierarchy of generic WinForms -3.18