Stack Exchange Network

Stack Exchange network consists of 175 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
567
reputation
2
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 1 year, 11 months
  • 25 profile views
  • Last seen 2 hours ago

Top tags (6)

Score 35
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