A natural language explanation for formal proofs

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1328, Issue , 1997, Pages 149-167

  Coscoy, Yann ^a  

^a INRIA   (France)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84858125495     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0052156     Document Type: Conference Paper

References (6)

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