For most mathematicians, writing a fully formal proof is too pedantic and long-winded to be in common use.
Для большинства математиков процесс написания полностью формального доказательства слишком педантичен и многословен, чтобы часто использоваться.