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

James Smith

I am working on a proof assistant called Occam:

http://djalbat.com/occam

2
answers
2
questions
~891
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