StackRating

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

Gergely

Rating
1475.03 (4,511,158th) 		Reputation
1,961 (85,374th)
Page: 1
Title Δ
Installing kernel headers on CentOS 8 for VirtualBox 0.00
Running F# Hello World from VS Code 0.00
Difference between param and function syntax in PowerShell -3.70
Why do I need the subexpression operator in this example? -2.60
WebCT format description 0.00
The behaviour of standard input's readable event in Node JS 0.00
Prove a goal with an assumption in HOL 0.00
Selecting a number of lines in visual mode in vim -2.38
Compiling Poly/ML on MobaXterm: the ar u option 0.00
The SAP organizational structure 0.00
Doing a double induction in Coq properly 0.00
How an incoming in-page html link can be displayed at the top of th... 0.00
Converting postscript to pdf 0.00
How to see step-by-step reasoning of Isabelle 'proofs' -2.53
Are there other HOL programming languages besides Caledon that are... +3.44
Format exception SML +0.20
snipMate does not work 0.00
How to specify a non-document theory file in ROOT? -3.70
Following the definitions in a lisp code base -3.68
Isabelle: run sledgehammer on a different machine then my normal PC... -3.93
Connect oracle to nodejs -0.10
configure error: X is not found 0.00
ls filename does not work in lftp 0.00
how to define script interpreter with shebang -1.96
Core of Verifier in Isabelle/HOL -4.03