James Smith

314
reputation
3
14

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

http://occam.science