Hacker News new | ask | show | jobs
Google’s Schindler Invests in UK Automated Reasoning Startup (marketsmedia.com)
1 points by codeodor 3604 days ago