482
reputation
2
4

James Smith

I am working on a proof assistant called Occam:

http://djalbat.com/occam

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