Now showing items 1-1 of 1

    • Tools for semi-formal proofs 

      Nachiappan, Nachiappan V. (2008-08)
      We propose a semi-formal proof structure, in which the overall arrangement of a proof is a formal data structure, while individual propositions within the structure are expressed either formally or informally. We hypothesize ...