Mathematics

James Smith
414
reputation
  • Member since June 07 2016
  • 100 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