>>12139023I have a different take than most other people here, I'm interested in computer verification of math, but since most mathematicians dont give a shit, its mainly computer scientists making the verifiers and maintaining them
They usually just say "Curry Howard Correspondence" to get out of talking about math and just talking about comp sci shit and absolutely nothing else
Which means that they eventually ask "why arent mathematicians getting involved" while they continue shoving their computer autism into it every opportunity they get and minimizing the actual math
Which pisses me off, therefore fuck cs niggers