StackRating

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

Doug Spoonwood

Rating
1500.00 (1,983,923rd) 		Reputation
221 (449,510th)
Page: 1
Title Δ
Given a String, What is the Length of the One of the Longest WFF in... 0.00
How to model Einstein's ships puzzle in Prover9 (first order lo... 0.00
How do I Get OTTER to Generate All Tautologies of a Certain Length? 0.00
Prover9 hints not being used 0.00
Prover9 hints not being used 0.00
Reverse Polish Notation 0.00
Hilbert System - Automate Proof 0.00