3 ms·A program is a proof of the result (theorem) computed from the inputs (axioms) supplied.by Retra 11y agoA program is a proof of the result (theorem) computed from the inputs (axioms) supplied.