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
574
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, 10 months
  • 22 profile views
  • Last seen Mar 11 at 1:42

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