Stack Exchange Network

Stack Exchange network consists of 174 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange
584
reputation
2
11

Gregory Nisbet

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

1
answer
7
questions
~9k
people reached
  • Menlo Park, CA, United States
  • Member for 1 year, 7 months
  • 22 profile views
  • Last seen 7 hours ago

Top Tags (6)

Score 36
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) All Questions Answers | Votes Newest

Badges (13)

Gold

Silver

2

Rarest

Bronze

11

Rarest