James Smith
591
reputation
  • Member since February 07 2018
  • 30 profile views
  • Last seen Sep 25 '19 at 17:52

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

http://occam.science