Now showing items 6-6 of 6

    • Writing Programs that Construct Proofs 

      Constable, Robert L.; Knoblock, Todd B.; Bates, Joseph L. (Cornell University, 1984-10)
      When we learn mathematics, we learn more than definitions and theorems. We learn techniques of proof. In this paper, we describe a particular way to express these techniques and incorporate them into formal theories and ...