@byroncook
logic, math, proof, computation
calendar_today08-02-2009 19:27:05
164 Tweets
1,5K Followers
9 Following
1 year ago
amazon.science/blog/automated…