Advertisement

Using Isabelle to prove simple theorems

  • Sara Kalvala
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 780)

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    David Parnas. Some theorems we should prove. In Higher Order Logic and its Applications, 1993.Google Scholar
  2. 2.
    Lawrence Paulson. Introduction to Isabelle. Technical Report 280, University of Cambridge, Computer Lab, 1993.Google Scholar
  3. 3.
    Lawrence Paulson. The Isabelle reference manual. Technical Report 283, University of Cambridge, Computer Lab, 1993.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1994

Authors and Affiliations

  • Sara Kalvala
    • 1
  1. 1.University of CambridgeUK

Personalised recommendations