SKIL: A system for programming with proofs

  • D. Galmiche
  • O. Hermann
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 698)


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    A. Bundy. The use of explicit plans to guide inductive proofs. In 9th Conference on Automated DEduction, pages 111–120. LNAI 310, Springer-Verlag, 1988.Google Scholar
  2. 2.
    D. Galmiche and O. Hermann. Automated proof and program development. In C.M. Rattray & R.G. Clark, editor, The Unified Computation Laboratory, pages 397–410. Oxford University Press, 1992.Google Scholar
  3. 3.
    J.L. Krivine and M. Parigot. Programming with proofs. J. Inform. Process. Cybernet., 3:149–167, 1990.Google Scholar
  4. 4.
    P. Manoury, M. Parigot, and M. Simonot. ProPre: a programming language with proofs. In A. Voronkov, editor, Logic Programming and Automated Reasoning, pages 484–486. LNAI 624, 1992.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1993

Authors and Affiliations

  • D. Galmiche
    • 1
  • O. Hermann
    • 1
  1. 1.CRIN - CNRS §& INRIA LorraineVandœuvre-lès-Nancy, CedexFrance

Personalised recommendations