What is a proof? What should it be?
arXiv:1904.06332 · doi:10.13140/RG.2.2.13405.87521/1
Abstract
Mathematical proofs should be paired with formal proofs, whenever feasible.
4 pages
arXiv:1904.06332 · doi:10.13140/RG.2.2.13405.87521/1
Mathematical proofs should be paired with formal proofs, whenever feasible.
4 pages