2 followers john doe @ditto_marx A Graphical Language for Proof Strategies http://t.co/SBzhmDzQef 03 Mar 2013 Reply Repost Favourite