Lovely tweet!
<https://twitter.com/i/redirect?url=https%3A%2F%2Ftwitter.com%2FCompSciFact%2Fstatus%2F412987113257570305&sig=2f5397789e4fe174bc127f7f0a3963cefa9553d2&uid=15752750&iid=735ea3c7a31f412bb787bdac118d8509&nid=151+1262&t=1> Computer Science <https://twitter.com/i/redirect?url=https%3A%2F%2Ftwitter.com%2FCompSciFact%2Fstatus%2F412987113257570305&sig=2f5397789e4fe174bc127f7f0a3963cefa9553d2&uid=15752750&iid=735ea3c7a31f412bb787bdac118d8509&nid=151+1264&t=1> @CompSciFact<https://twitter.com/i/redirect?url=https%3A%2F%2Ftwitter.com%2FCompSciFact%2Fstatus%2F412987113257570305&sig=2f5397789e4fe174bc127f7f0a3963cefa9553d2&uid=15752750&iid=735ea3c7a31f412bb787bdac118d8509&nid=151+1264&t=1> A proof is an algorithm for moving from one proposition to another. 04:46 PM - 17 Dec 13<https://twitter.com/CompSciFact/status/412987113257570305>
============================================================ FRIAM Applied Complexity Group listserv Meets Fridays 9a-11:30 at cafe at St. John's College to unsubscribe http://redfish.com/mailman/listinfo/friam_redfish.com
