443 reputation
3 6

Flash Sheridan

Static analyzer and compiler tester, rewriting my Oxford doctoral thesis on Church’s Set Theory with a Universal Set, to appear in Logique et Analyse.

Top Tags (14)

Score 29
Posts 11
Posts % 85
Score 23
Posts 8
Score 10
Posts 3
Score 5
Posts 3
Score 5
Posts 1
Score 5
Posts 1

Top Posts (13) All Questions Answers | Votes Newest

View all questions and answers

Badges (9)

Gold
Silver 3

Rarest

Bronze 6

Rarest