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
244
reputation
1
9

James Smith

I am working on a proof assistant called Occam:

http://djalbat.com/occam

8
answers
10
questions
~3k
people reached

Top tags (17)

Score 2
Posts 1
Posts % 6
Score 0
Posts 7
Score 0
Posts 7
Score -1
Posts 14
Score -1
Posts 3
Score -1
Posts 2

Top posts (18) All Questions Answers | Votes Newest

View all questions and answers

Badges (10)

Gold

Silver

1

Rarest

Bronze

9

Rarest