Stack Overflow
Stack Overflow

James Smith
324
reputation
3
15
  • Member since June 14 2011
  • 41 profile views
  • Last seen Nov 20 '19 at 13:53

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

http://occam.science