Paper ballots were kept in the Antrim County election, and a review supported the declared results: https://www.factcheck.org/2020/12/audit-in-michigan-county-r...

Whatever the problems experienced in the initial tabulation because of a mismatch between client and server software revisions, it is very difficult to falsify paper ballots especially under so much recount scrutiny.

This particular "audit" of voting machines in Michigan has been discussed, and thoroughly discredited, elsewhere in this thread:

https://news.ycombinator.com/item?id=25905263