User James Smith - Mathematics Stack Exchange

James Smith

384

reputation

Member since June 07 2016
82 profile views
Last seen Oct 09 '19 at 19:47

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

http://occam.science