A natural language explanation for formal proofs

  • Yann Coscoy
Selected papers
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1328)


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    D. Chester, The translation of Formal Proofs into English, Artificial Intelligence 7 (1976), 261–278, 1976.MATHMathSciNetCrossRefGoogle Scholar
  2. 2.
    C. Cornes, J. Courant, J-C. Filliâtre, E. Gimenez, G. Huet, P. Manoury, C. Muñoz, C. Murthy, C. Parent, C. Paulin-Mohring, A. SaÏbi, B. Werner, The Coq Proof Assistant Reference Manual, INRIA.Google Scholar
  3. 3.
    Y. Coscoy, G. Kahn, L. Théry, Extracting Text from Proofs, in Typed Lambda Calculus and Applications, volume 902 of Lecture Notes in Computer Science. Springer-Verlag.Google Scholar
  4. 4.
    X. Huang, Human Oriented Proof Presentation: A Reconstructive Approach, SEKI Report SR-SR-94-07, UNIVERSITäT DES SAARLANDES,.Google Scholar
  5. 5.
    K. Prazmowski, P.Rudnicki Mizar-MSE Primer Warsaw University, University of Alberta.Google Scholar
  6. 6.
    A. Ranta, Type Theory and the Informal Language of Mathematics, in Proceedings of the 1993 Types Worshop, Nijmegen, LNCS 806, 1994.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1997

Authors and Affiliations

  • Yann Coscoy
    • 1
  1. 1.INRIA-Sophia-AntipolisBulgaria

Personalised recommendations