Information Processing LettersVolume 77, Issues 2–4, 28 February 2001, Pages 137-142Formality worksAuthor links open overlay panelRob R. HoogerwoordShow moreShareCitehttps://doi.org/10.1016/S0020-0190(00)00210-6Get rights and contentAbstractFormal calculations can contribute successfully to a better understanding of the structure of a proof, both in programming and in “classical” mathematics. This is illustrated by means of a few examples.Recommended articlesReferences (1)R.R. HoogerwoordA formal development of distributed summation(2000)Cited by (0)View full textCopyright © 2001 Elsevier Science B.V. All rights reserved.