What is a proof? What should it be?
classification
🧮 math.HO
math.LO
keywords
proofsshouldwhatfeasibleformalmathematicalpairedproof
read the original abstract
Mathematical proofs should be paired with formal proofs, whenever feasible.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.