WTF are they even trying to say in this article?
Race critical social justice is not an ideology and more than set theory (yes, the math one) is. It's a way to view the world that provides you with certain insights. You don't need to believe in any particular solution to those problems in order to identify and examine them.
Not to mention that the specific example I responded to (set theory) was developed long before computer assisted proofs were a thing.