Author Info
Name
Papers
Collaborators
YANN COSCOY
2
2
Citations 
PageRank 
Referers 
42
6.46
43
Referees 
References 
8
8
Title
Citations
PageRank
Year
A Natural Language Explanation for Formal Proofs111.641996
Extracting Text from Proofs314.811995