James Smith

531
reputation
2
5
10

I am working on a formal, automated domain of reasoning called Occam:

http://occam.science