Dr Shiva, the MIT math prof , and two of his buddies produced a video about the Michigan fraud in 3 counties. The results seem to prove the existence of Hammer and Scorecard. Though they didn’t count on or maybe think of what to do about the straight party vote. They were exposed. The differences between the vote for Trump which were manipulated and the straight party vote which wasn’t is proof of the use of that software
Messing with the straight party vote would be obvious in smaller local media elections. But they needed so many votes a 30% anti-Trump vote by otherwise R ballots is beyond credulity.