Google’s Schindler Invests in UK Automated Reasoning Startupmarketsmedia.com1 point·codeodor··0 commentsOpen articleSaveView on HN