MathOverflow Stack Exchange
MathOverflow Stack Exchange

James Smith
505
reputation
  • Member since October 09 2010
  • 298 profile views
  • Last seen Nov 30 '19 at 10:10

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

http://occam.science