James Smith

561
reputation

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

http://occam.science