in mathematical practice there is a growing rapprochement between strictly formal proof and proofs-in-practice. [https://link.springer.com/article/10.1007/s11858-024-01577-9]

>>337
それは過去(あるいは過去の数学で止まっている国)の話です。現代数学では厳密な形式的証明と実践の証明は差が埋まりつつあります。