662
reputation
3
11

Gregory Nisbet

I'm interested in logic, especially mechanically verifiable proofs.

1
answer
7
questions
~10k
people reached
  • Menlo Park, CA, United States
  • Member for 2 years, 10 months
  • 29 profile views
  • Last seen Feb 24 at 19:15

Top tags (6)

Score 34
Posts 5
Posts % 62
Score 0
Posts 1
Score 0
Posts 1
Score 0
Posts 1
Score 0
Posts 1
Score 0
Posts 1

Top posts (8)

Badges (14)

Gold

Silver

3

Rarest

Bronze

11

Rarest