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
467
reputation
2
4

James Smith

I am working on a proof assistant called Occam:

http://djalbat.com/occam

2
answers
2
questions
~876
people reached

Top Tags (5)

Score 6
Posts 3
Score 0
Posts 1
Score 0
Posts 1
Score 0
Posts 1
Score 0
Posts 1

Top Posts (4) All Questions Answers | Votes Newest

Badges (6)

Gold

Silver

2

Rarest

Bronze

4

Rarest