Have you ever used one of these systems that you claim exists? Math is not mechanically formalized beyond a tiny bit of foundational set theory. Most of modern math is hand waving by brilliant people who trust each others hands, and Doron Zeilberger calling their bullshit and begging them to start being more careful.