3 ms·Proof assistants assist with normal math. They just make the normal formal and realiable.by trenchgun 3y agoProof assistants assist with normal math. They just make the normal formal and realiable.