2 ms·Maybe it's time to be able to run them implicitly on Azure cloud?by formalsystem 7y agoMaybe it's time to be able to run them implicitly on Azure cloud?