James Smith

141
reputation
3

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

http://occam.science