Yann Coscoy

Publication Activity (10 Years)

Years Active: 1995-1996
Publications (10 Years): 0

Publications

Yann Coscoy
A Natural Language Explanation for Formal Proofs. LACL (1996)
Yann Coscoy, Gilles Kahn, Laurent Théry
Extracting Text from Proofs. TLCA (1995)