Microsoft and TerraPraxis believe that more digital tools could help some 2,400 coal-fired power plants around the world decarbonize — and potentially transition to nuclear generation.