Extracting text from proofs. Rapport de recherche n.2459 (1995)

by Yann Coscoy, Gilles Kahn, Laurent Th'ery
Venue:Lena Magnusson and Bengt Nordstrom. The ALF Proof Editor and Its Proof Engine