531 followers
RT @grantolney: Excited for Imandra to be included in Nature / NIH's COVID-19 "Nature Public Health Emergency Collection"! There are so man…
RT @grantolney: Excited for Imandra to be included in Nature / NIH's COVID-19 "Nature Public Health Emergency Collection"! There are so man…
Excited for Imandra to be included in Nature / NIH's COVID-19 "Nature Public Health Emergency Collection"! There are so many ways automated reasoning can help, especially with logistics and planning. https://t.co/hMuxFlhtYX