# What is a proof? What should it be?

## TL;DR

This paper advocates for pairing mathematical proofs with formal proofs whenever feasible to enhance rigor and clarity in mathematical reasoning.

## Contribution

It introduces the idea that formal proofs should complement traditional proofs to improve mathematical rigor.

## Key findings

- Formal proofs can improve proof verification.
- Pairing proofs enhances clarity and rigor.
- Feasibility depends on available tools and context.

## Abstract

Mathematical proofs should be paired with formal proofs, whenever feasible.